diff options
-rw-r--r-- | plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptShell.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptShell.java b/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptShell.java index 232a9737..55dace8d 100644 --- a/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptShell.java +++ b/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptShell.java @@ -423,6 +423,10 @@ public class ScriptShell extends ViewPart implements IPropertyChangeListener, IS return fScriptEngine; } + public void changePartName(String newPartName) { + setPartName(newPartName); + } + @Override public void notify(final IScriptEngine engine, final Script script, final int status) { |