edi

game/game.js

@@ -14092,13 +14092,15 @@
 				for(var i in obj.help){
 					lib.help[i]=obj.help[i];
 				}
-                lib.extensionMenu['extension_'+obj.name].edit={
-					name:'编辑此扩展',
-					clear:true,
-					onclick:function(){
-                        game.editExtension(obj.name);
-					}
-				}
+                if(obj.editable!==false){
+                    lib.extensionMenu['extension_'+obj.name].edit={
+    					name:'编辑此扩展',
+    					clear:true,
+    					onclick:function(){
+                            game.editExtension(obj.name);
+    					}
+    				}
+                }
 				lib.extensionMenu['extension_'+obj.name].delete={
 					name:'删除此扩展',
 					clear:true,

game/update.js

@@ -3,6 +3,7 @@ window.noname_update={
     changeLog:[
         '***注意：更新后将无法使用或导出自定义武将，请自行备份***',
         '扩展工具代码格式改动（见默认代码，现有代码不用改）',
+        '扩展可设置禁止编辑',
         '修bug',
     ],
     files:{