diff options
Diffstat (limited to 'js/Misc/DEBUG_SCICOS.js')
| -rw-r--r-- | js/Misc/DEBUG_SCICOS.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/js/Misc/DEBUG_SCICOS.js b/js/Misc/DEBUG_SCICOS.js index ecb3e0ae..384a6ac7 100644 --- a/js/Misc/DEBUG_SCICOS.js +++ b/js/Misc/DEBUG_SCICOS.js @@ -16,4 +16,8 @@ function DEBUG_SCICOS() { var typ = tmpvar0[2]; return new BasicBlock(this.x); } + DEBUG_SCICOS.prototype.get_popup_title = function DEBUG_SCICOS() { + var set_param_popup_title = "Set parameters"; + return set_param_popup_title; + } } |