4 Commits

Author SHA1 Message Date
Philipp Schaefer
51be5bee04 added plugin categories (see #358) 2013-06-08 18:50:26 +02:00
Jon Atkins
84cb73d8e1 add @grant none to userscript headers - as recommended by greasemonkey 2013-05-20 03:12:19 +01:00
Jon Atkins
6e8dd15052 update several plugins to use window.addLayerGroup, instead of manually adding the layer to the map and Layer control.
this gives automatic handling of remembering shown/hidden layers

also, draw tools plugin hides the controls while the drawn items layer is hidden
2013-05-18 03:42:56 +01:00
rongou
9847dec568 Add a new plugin to display portal levels as numbers, directly on the map. 2013-03-30 07:59:37 -07:00