diff options
Diffstat (limited to 'js/Misc/DEBUG.js')
-rw-r--r-- | js/Misc/DEBUG.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/js/Misc/DEBUG.js b/js/Misc/DEBUG.js index d1d6a432..c9816c9b 100644 --- a/js/Misc/DEBUG.js +++ b/js/Misc/DEBUG.js @@ -49,4 +49,8 @@ function DEBUG() { } return new BasicBlock(this.x); } + DEBUG.prototype.get_popup_title = function DEBUG() { + var set_param_popup_title = "Set parameters"; + return set_param_popup_title; + } } |