|
|
@ -53,6 +53,7 @@ public class DesignerWorkspaceActivator extends Activator { |
|
|
|
public void on(Event event, Workspace workspace) { |
|
|
|
public void on(Event event, Workspace workspace) { |
|
|
|
PluginClassRefreshManager.getInstance().removePluginListener(); |
|
|
|
PluginClassRefreshManager.getInstance().removePluginListener(); |
|
|
|
HistoryTemplateListCache.getInstance().stash(); |
|
|
|
HistoryTemplateListCache.getInstance().stash(); |
|
|
|
|
|
|
|
PluginClassRefreshManager.getInstance().fireTabChange(); |
|
|
|
} |
|
|
|
} |
|
|
|
}); |
|
|
|
}); |
|
|
|
|
|
|
|
|
|
|
|