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