/** * Returns the console manager. The manager will be created lazily on * the first access. * * @return IConsoleManager */ public IConsoleManager getConsoleManager() { if (fConsoleManager == null) { fConsoleManager = new ConsoleManager(); } return fConsoleManager; }
public synchronized void addConsoles(IConsole[] consoles) { List added = new ArrayList(consoles.length); for (int i = 0; i < consoles.length; i++) { IConsole console = consoles[i]; if(console instanceof TextConsole) { TextConsole ioconsole = (TextConsole)console; createPatternMatchListeners(ioconsole); } if (!fConsoles.contains(console)) { fConsoles.add(console); added.add(console); } } if (!added.isEmpty()) { fireUpdate((IConsole[])added.toArray(new IConsole[added.size()]), ADDED); } }
/** * Constructs a console view */ public ConsoleView() { super(); fConsoleToPart = new HashMap(); fPartToConsole = new HashMap(); fConsoleToPageParticipants = new HashMap(); ConsoleManager consoleManager = (ConsoleManager) ConsolePlugin.getDefault().getConsoleManager(); consoleManager.registerConsoleView(this); }
public void dispose() { super.dispose(); getViewSite().getPage().removePartListener((IPartListener2)this); ConsoleManager consoleManager = (ConsoleManager) ConsolePlugin.getDefault().getConsoleManager(); consoleManager.removeConsoleListener(this); consoleManager.unregisterConsoleView(this); }
protected void createActions() { fPinAction = new PinConsoleAction(this); fDisplayConsoleAction = new ConsoleDropDownAction(this); ConsoleFactoryExtension[] extensions = ((ConsoleManager)ConsolePlugin.getDefault().getConsoleManager()).getConsoleFactoryExtensions(); if (extensions.length > 0) { fOpenConsoleAction = new OpenConsoleAction(); } }
public synchronized void removeConsoles(IConsole[] consoles) { List removed = new ArrayList(consoles.length); for (int i = 0; i < consoles.length; i++) { IConsole console = consoles[i]; if (fConsoles.remove(console)) { removed.add(console); } } if (!removed.isEmpty()) { fireUpdate((IConsole[])removed.toArray(new IConsole[removed.size()]), REMOVED); } }
IConsolePageParticipant[] consoleParticipants = ((ConsoleManager)getConsoleManager()).getPageParticipants(console); final ListenerList<IConsolePageParticipant> participants = new ListenerList<>(); for (int i = 0; i < consoleParticipants.length; i++) {
@Override public void dispose() { IViewSite site = getViewSite(); if(site != null) { site.getPage().removePartListener((IPartListener2)this); } super.dispose(); ConsoleManager consoleManager = (ConsoleManager) ConsolePlugin.getDefault().getConsoleManager(); consoleManager.removeConsoleListener(this); consoleManager.unregisterConsoleView(this); if (fDisplayConsoleAction != null) { fDisplayConsoleAction.dispose(); fDisplayConsoleAction = null; } }
protected void createActions() { fPinAction = new PinConsoleAction(this); fDisplayConsoleAction = new ConsoleDropDownAction(this); ConsoleFactoryExtension[] extensions = ((ConsoleManager)ConsolePlugin.getDefault().getConsoleManager()).getConsoleFactoryExtensions(); if (extensions.length > 0) { fOpenConsoleAction = new OpenConsoleAction(); } }
@Override public void removeConsoles(IConsole[] consoles) { List<IConsole> removed = new ArrayList<IConsole>(consoles.length); synchronized (fConsoles) { for (int i = 0; i < consoles.length; i++) { IConsole console = consoles[i]; if (fConsoles.remove(console)) { removed.add(console); } } } if (!removed.isEmpty()) { fireUpdate(removed.toArray(new IConsole[removed.size()]), REMOVED); } }
IConsolePageParticipant[] consoleParticipants = ((ConsoleManager)getConsoleManager()).getPageParticipants(console); final ListenerList participants = new ListenerList(); for (int i = 0; i < consoleParticipants.length; i++) {
@Override public void addConsoles(IConsole[] consoles) { List<IConsole> added = new ArrayList<IConsole>(consoles.length); synchronized (fConsoles) { for (int i = 0; i < consoles.length; i++) { IConsole console = consoles[i]; if(console instanceof TextConsole) { TextConsole ioconsole = (TextConsole)console; createPatternMatchListeners(ioconsole); } if (!fConsoles.contains(console)) { fConsoles.add(console); added.add(console); } } } if (!added.isEmpty()) { fireUpdate(added.toArray(new IConsole[added.size()]), ADDED); } }
public OpenConsoleAction() { fFactoryExtensions = ((ConsoleManager)ConsolePlugin.getDefault().getConsoleManager()).getConsoleFactoryExtensions(); setText(ConsoleMessages.OpenConsoleAction_0); setToolTipText(ConsoleMessages.OpenConsoleAction_1); setImageDescriptor(ConsolePluginImages.getImageDescriptor(IInternalConsoleConstants.IMG_ELCL_NEW_CON)); setMenuCreator(this); PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IConsoleHelpContextIds.CONSOLE_OPEN_CONSOLE_ACTION); }
/** * Returns the console manager. The manager will be created lazily on * the first access. * * @return IConsoleManager */ public IConsoleManager getConsoleManager() { if (fConsoleManager == null) { fConsoleManager = new ConsoleManager(); } return fConsoleManager; }
/** * Constructs a console view */ public ConsoleView() { super(); fConsoleToPart = new HashMap<IConsole, ConsoleWorkbenchPart>(); fPartToConsole = new HashMap<ConsoleWorkbenchPart, IConsole>(); fConsoleToPageParticipants = new HashMap<IConsole, ListenerList<IConsolePageParticipant>>(); ConsoleManager consoleManager = (ConsoleManager) ConsolePlugin.getDefault().getConsoleManager(); consoleManager.registerConsoleView(this); }
public OpenConsoleAction() { fFactoryExtensions = ((ConsoleManager)ConsolePlugin.getDefault().getConsoleManager()).getConsoleFactoryExtensions(); setText(ConsoleMessages.OpenConsoleAction_0); setToolTipText(ConsoleMessages.OpenConsoleAction_1); setImageDescriptor(ConsolePluginImages.getImageDescriptor(IInternalConsoleConstants.IMG_ELCL_NEW_CON)); setMenuCreator(this); PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IConsoleHelpContextIds.CONSOLE_OPEN_CONSOLE_ACTION); }