MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

868 bytes removed , 10 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
-          });
-		  svgPanZoom.setBeforePan(beforePan)
          };
      } catch (err) {}
 });