diff options
Diffstat (limited to 'js/Misc/EDGE_TRIGGER.js')
| -rw-r--r-- | js/Misc/EDGE_TRIGGER.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/js/Misc/EDGE_TRIGGER.js b/js/Misc/EDGE_TRIGGER.js index 5f7b9040..8bc4c23d 100644 --- a/js/Misc/EDGE_TRIGGER.js +++ b/js/Misc/EDGE_TRIGGER.js @@ -153,7 +153,6 @@ function EDGE_TRIGGER() { return new BasicBlock(this.x); } EDGE_TRIGGER.prototype.get_popup_title = function EDGE_TRIGGER() { - var set_param_popup_title = "Set parameters"; - return set_param_popup_title; + return; } } |