diff options
| author | Hodorog Madalina | 2018-09-13 12:10:03 +0000 |
|---|---|---|
| committer | Christian Pontesegger | 2018-09-13 14:04:36 +0000 |
| commit | 20a30a8a3706513e3290721501846e98ecaabd91 (patch) | |
| tree | 3f9c0713536d1018ffab882ce25826f7320e9af1 | |
| parent | c5da121777c5035def0ecf863fa0a34d57a942fe (diff) | |
| download | org.eclipse.ease.core-20a30a8a3706513e3290721501846e98ecaabd91.tar.gz org.eclipse.ease.core-20a30a8a3706513e3290721501846e98ecaabd91.tar.xz org.eclipse.ease.core-20a30a8a3706513e3290721501846e98ecaabd91.zip | |
Bug 539018 - Provide a way to rename Script Shell Views
added change name part for script shell
Signed-off-by: Hodorog Madalina <madalina.hodorog.dev@gmail.com>
| -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) { |