「Widget:Custom map」の版間の差分

2024年9月24日 (火) 11:06時点における版

地図表示Widget「Widget:Custom map」です。

@@ 311行目: / 311行目: @@
 // 編集ボタン
-var editButton = L.easyButton({
+mw.loader.using('mediawiki.api', function() {
-    states: [{
+    var editButton = L.easyButton({
-        stateName: 'enable-edit',
+        states: [{
-        icon: '<img src="https://dq.h1g.jp/img/marker-icon-img/edit-solid.svg">',
+            stateName: 'enable-edit',
-        title: 'マップを編集する',
+            icon: '<img src="https://dq.h1g.jp/img/marker-icon-img/edit-solid.svg">',
-        onClick: function(btn, map) {
+            title: 'マップを編集する',
-            // mediawiki.api モジュールを読み込んでから権限チェックを行う
+            onClick: function(btn, map) {
-            mw.loader.using('mediawiki.api', function() {
                  checkUserGroup('map-edit-member', function(isInGroup) {
                      if (isInGroup) {
@@ 330行目: / 329行目: @@
                      }
                  });
-             });
+             }
-         }
+         }, {
-    }, {
+            stateName: 'disable-edit',
-        stateName: 'disable-edit',
+            icon: '<img src="https://dq.h1g.jp/img/marker-icon-img/edit-solid.svg">',
-        icon: '<img src="https://dq.h1g.jp/img/marker-icon-img/edit-solid.svg">',
+            title: '編集の終了',
-        title: '編集の終了',
+            onClick: function(btn, map) {
-        onClick: function(btn, map) {
+                editMode = false;
-            editMode = false;
+                drawControl.remove();
-            drawControl.remove();
+                btn.state('enable-edit');
-            btn.state('enable-edit');
+                updateAllPopups();
-            updateAllPopups();
+                saveButton.remove(); // saveButtonを非表示にする
-            saveButton.remove(); // saveButtonを非表示にする
+            }
-        }
+        }]
-    }]
+    }).addTo(map);
-}).addTo(map);
+});