rename editor_file

This commit is contained in:
YouWei Zhao 2019-04-22 17:51:10 -04:00
parent e2594ee831
commit 2b9eadbe9f
4 changed files with 22 additions and 2 deletions

View File

@ -29,6 +29,26 @@ editor_game_wrapper = function (editor, main, core) {
return value
}
editor_game.prototype.getValue = function(field){
var rmap = editor.game.replacerRecord;
var value = eval(field)
if (rmap.hasOwnProperty(oldval)) {
return rmap[value]
} else {
return value
}
}
editor_game.prototype.setValue = function(field,value){
var rmap = editor.game.replacerRecord;
var oldval = eval(field)
if (rmap.hasOwnProperty(oldval)) {
rmap[value]=eval(value)
} else {
eval(field+'='+value)
}
}
editor_game.prototype.replacerWithoutRecord = function (_key, value) {
if (value instanceof Function) {
return value.toString()

View File

@ -524,7 +524,7 @@
<script src='_server/fs.js'></script>
<script src='_server/editor_util.js'></script>
<script src='_server/editor_game.js'></script>
<script src='_server/editor_file.js'></script>
<script src='_server/editor_file_unsorted.js'></script>
<script src='_server/editor_table.js'></script>
<script src='_server/editor_mode.js'></script>
<script src='_server/editor_unsorted_1.js'></script>

View File

@ -507,7 +507,7 @@
<script src='_server/fs.js'></script>
<script src='_server/editor_util.js'></script>
<script src='_server/editor_game.js'></script>
<script src='_server/editor_file.js'></script>
<script src='_server/editor_file_unsorted.js'></script>
<script src='_server/editor_table.js'></script>
<script src='_server/editor_mode.js'></script>
<script src='_server/editor_unsorted_1.js'></script>