/** * Returns the console manager. * * @return the console manager */ private IConsoleManager getConsoleManager() { return ConsolePlugin.getDefault().getConsoleManager(); }
/** * Returns the console manager. * * @return the console manager */ private IConsoleManager getConsoleManager() { return ConsolePlugin.getDefault().getConsoleManager(); }
/** * 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); }
/** * 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 BuildConsoleManager() { consoleByBuild = new HashMap<IBuild, BuildConsole>(); consoleManager = ConsolePlugin.getDefault().getConsoleManager(); consoleManager.addConsoleListener(listener); }
/** * Shows this console in all console views. This console will be become visible * if another console is currently pinned. * * @since 3.1 */ public void activate() { ConsolePlugin.getDefault().getConsoleManager().showConsoleView(this); }
@Override public void dispose() { if (fMenu != null) { fMenu.dispose(); } fView= null; ConsolePlugin.getDefault().getConsoleManager().removeConsoleListener(this); }
public void consolesRemoved(IConsole[] consoles) { for (int i = 0; i < consoles.length; i++) { IConsole console = consoles[i]; if (console == AbstractConsole.this) { ConsolePlugin.getDefault().getConsoleManager().removeConsoleListener(this); destroy(); } } } }
public void dispose() { if (fMenu != null) { fMenu.dispose(); } fView= null; ConsolePlugin.getDefault().getConsoleManager().removeConsoleListener(this); }
@Override public void consolesRemoved(IConsole[] consoles) { for (int i = 0; i < consoles.length; i++) { IConsole console = consoles[i]; if (console == AbstractConsole.this) { ConsolePlugin.getDefault().getConsoleManager().removeConsoleListener(this); destroy(); } } } }
public void consolesRemoved(IConsole[] consoles) { for(int i = 0; i < consoles.length; i++ ) { IConsole console = consoles[i]; if(console == MavenConsoleImpl.this) { ConsolePlugin.getDefault().getConsoleManager().removeConsoleListener(this); dispose(); } } }
private static MessageConsole findConsole(String name) { ConsolePlugin plugin = ConsolePlugin.getDefault(); IConsoleManager conMan = plugin.getConsoleManager(); IConsole[] existing = conMan.getConsoles(); for (int i = 0; i < existing.length; i++) if (name.equals(existing[i].getName())) return (MessageConsole) existing[i]; MessageConsole myConsole = new MessageConsole(name, null); conMan.addConsoles(new IConsole[] { myConsole }); return myConsole; }
private ConsoleContext createOrGetConsole () { if ( this.parentController != null && this.parentController.getConsole () != null ) { return this.parentController.getConsole (); } final IConsoleManager manager = ConsolePlugin.getDefault ().getConsoleManager (); final MessageConsole messageConsole = new MessageConsole ( String.format ( "Symbol Debug Console: %s", this.symbolInfoName ), null, null, true ); manager.addConsoles ( new IConsole[] { messageConsole } ); this.createdConsole = messageConsole; return new ConsoleContext ( messageConsole ); }
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(); } }
private void bringConsoleToFront() { if(PlatformUI.isWorkbenchRunning()) { IConsoleManager manager = ConsolePlugin.getDefault().getConsoleManager(); if(!isVisible()) { manager.addConsoles(new IConsole[] {this}); } manager.showConsoleView(this); } }
private MessageConsole getConsole() { if (console == null) { ConsolePlugin plugin = ConsolePlugin.getDefault(); IConsoleManager conMan = plugin.getConsoleManager(); final ImageDescriptor infiniTestIconDescriptor = InfinitestPlugin.imageDescriptorFromPlugin(InfinitestPlugin.PLUGIN_ID, "icons/infinitest-icon.png"); console = new MessageConsole("Infinitest Console", infiniTestIconDescriptor); console.getDocument().set(""); conMan.addConsoles(new IConsole[] { console }); } return console; }
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); }
public ConsoleDropDownAction(IConsoleView view) { fView= view; setText(ConsoleMessages.ConsoleDropDownAction_0); setToolTipText(ConsoleMessages.ConsoleDropDownAction_1); setImageDescriptor(ConsolePluginImages.getImageDescriptor(IConsoleConstants.IMG_VIEW_CONSOLE)); PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IConsoleHelpContextIds.CONSOLE_DISPLAY_CONSOLE_ACTION); setMenuCreator(this); ConsolePlugin.getDefault().getConsoleManager().addConsoleListener(this); update(); }
public ConsoleDropDownAction(IConsoleView view) { fView= view; setText(ConsoleMessages.ConsoleDropDownAction_0); setToolTipText(ConsoleMessages.ConsoleDropDownAction_1); setImageDescriptor(ConsolePluginImages.getImageDescriptor(IConsoleConstants.IMG_VIEW_CONSOLE)); PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IConsoleHelpContextIds.CONSOLE_DISPLAY_CONSOLE_ACTION); setMenuCreator(this); ConsolePlugin.getDefault().getConsoleManager().addConsoleListener(this); update(); }
public ConsoleRemoveLaunchAction() { super(ConsoleMessages.ConsoleRemoveTerminatedAction_0); setToolTipText(ConsoleMessages.ConsoleRemoveTerminatedAction_1); PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IDebugHelpContextIds.CONSOLE_REMOVE_LAUNCH); setImageDescriptor(DebugPluginImages.getImageDescriptor(IDebugUIConstants.IMG_LCL_REMOVE)); setDisabledImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_DLCL_REMOVE)); setHoverImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_ELCL_REMOVE)); DebugPlugin.getDefault().getLaunchManager().addLaunchListener(this); ConsolePlugin.getDefault().getConsoleManager().addConsoleListener(this); }