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