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