MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

829 bytes added , 9 February 2023

no edit summary

1,054

edits

@@ Line 43: / Line 43: @@
                  return true;
              }
+        };
+          var beforePan
+          beforePan = function(oldPan, newPan){
+            var stopHorizontal = false
+				stopVertical = false
+				gutterWidth = 10
+				gutterHeight = 10
+                // Computed variables
+				sizes = this.getSizes()
+				leftLimit = -((sizes.viewBox.x + sizes.viewBox.width) * sizes.realZoom) + gutterWidth
+				rightLimit = sizes.width - gutterWidth - (sizes.viewBox.x * sizes.realZoom)
+				topLimit = -((sizes.viewBox.y + sizes.viewBox.height) * sizes.realZoom) + gutterHeight
+				bottomLimit = sizes.height - gutterHeight - (sizes.viewBox.y * sizes.realZoom)
+            customPan = {}
+            customPan.x = Math.max(leftLimit, Math.min(rightLimit, newPan.x))
+            customPan.y = Math.max(topLimit, Math.min(bottomLimit, newPan.y))
+            return customPan
+          });
          };
      } catch (err) {}
 });