public void actionPerformed(ActionEvent e) { WorkspaceViewManager viewManager = workspace.getViewManager(); viewManager.showView(plugin.getId());; } };
public void actionPerformed(ActionEvent e) { WorkspaceViewManager viewManager = workspace.getViewManager(); viewManager.showView(plugin.getId());; } };
public void actionPerformed(ActionEvent e) { WorkspaceViewManager viewManager = workspace.getViewManager(); viewManager.showView(plugin.getId());; } };