Advertisement
Guest User

Untitled

a guest
Jun 27th, 2017
48
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.95 KB | None | 0 0
  1. Index: chrome/content/maphtml/territory.js
  2. ===================================================================
  3. --- chrome/content/maphtml/territory.js (revision 17)
  4. +++ chrome/content/maphtml/territory.js (working copy)
  5. @@ -101,7 +101,6 @@
  6. selectTerrControl.events.register("featureunhighlighted", this, unselectedTerr);
  7. terrLayer.events.register("afterfeaturemodified", this, doneEditTerr); // no event on control here :(
  8. terrLayer.events.register("beforefeaturemodified", this, startedEditTerr); // no event on control here :(
  9. - map.events.register("move", this, onMoveHideStreets);
  10. map.events.register("moveend", this, onPanUpdateStreets);
  11.  
  12. map.addControl(selectTerrControl);
  13. @@ -124,19 +123,6 @@
  14. }
  15.  
  16. /**
  17. - * Called when the user moves the map around.
  18. - */
  19. -function onMoveHideStreets()
  20. -{
  21. - if (showingStreets)
  22. - {
  23. - hideStreets();
  24. - // re-reset state ;)
  25. - showingStreets = true;
  26. - }
  27. -}
  28. -
  29. -/**
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement