@Override public String getName(Object page) { return ((IConsole) page).getName(); }
public boolean test(Object receiver, String property, Object[] args, Object expectedValue) { IConsole console = (IConsole) receiver; String type = console.getType(); return type != null ? type.equals(expectedValue) : false; }
/** * Constructs an action to display the given console. * * @param view the console view in which the given console is contained * @param console the console */ public ShowConsoleAction(IConsoleView view, IConsole console) { super(console.getName(), AS_RADIO_BUTTON); fConsole = console; fView = view; setImageDescriptor(console.getImageDescriptor()); } }
protected PageRec doCreatePage(IWorkbenchPart dummyPart) { ConsoleWorkbenchPart part = (ConsoleWorkbenchPart)dummyPart; final IConsole console = part.getConsole(); final IPageBookViewPage page = console.createPage(this); initPage(page); page.createControl(getPageBook()); console.addPropertyChangeListener(this);
public void dispose() { if (fScrollLockAction != null) { fScrollLockAction.dispose(); fScrollLockAction = null; } getConsole().removePropertyChangeListener(fPropertyChangeListener); super.dispose(); }
@Override public ImageDescriptor getImageDescriptor(Object page) { return ((IConsole) page).getImageDescriptor(); }
ConsoleWorkbenchPart part = (ConsoleWorkbenchPart)dummyPart; final IConsole console = part.getConsole(); final IPageBookViewPage page = console.createPage(this); initPage(page); page.createControl(getPageBook()); console.addPropertyChangeListener(this);
page.dispose(); pageRecord.dispose(); console.removePropertyChangeListener(this);
public String getConsolePath(IConsole console) { return console.getClass().toString().replaceFirst("class ", "") + System.getProperty("file.separator") + console.getName(); }
/** * Constructs an action to display the given console. * * @param view the console view in which the given console is contained * @param console the console */ public ShowConsoleAction(IConsoleView view, IConsole console) { super(console.getName(), AS_RADIO_BUTTON); fConsole = console; fView = view; setImageDescriptor(console.getImageDescriptor()); } }
@Override public boolean test(Object receiver, String property, Object[] args, Object expectedValue) { IConsole console = (IConsole) receiver; String type = console.getType(); return type != null ? type.equals(expectedValue) : false; }
page.dispose(); pageRecord.dispose(); console.removePropertyChangeListener(this);
/** * Updates the view title based on the active console */ protected void updateTitle() { IConsole console = getConsole(); if (console == null) { setContentDescription(ConsoleMessages.ConsoleView_0); } else { String newName = console.getName(); String oldName = getContentDescription(); if (newName!=null && !(newName.equals(oldName))) { setContentDescription(console.getName()); } } }
public void consolesRemoved(IConsole[] consoles) { for (IConsole console : consoles) { if (BuildConsole.CONSOLE_TYPE.equals(console.getType())) { Object build = ((MessageConsole) console).getAttribute(BuildConsole.ATTRIBUTE_BUILD); if (build instanceof IBuild) { disposeConsole((IBuild) build); } } } } };
@Override public void dispose() { if (fScrollLockAction != null) { fScrollLockAction.dispose(); fScrollLockAction = null; } if (fWordWrapAction != null) { fWordWrapAction.dispose(); fWordWrapAction = null; } fView = null; getConsole().removePropertyChangeListener(fPropertyChangeListener); super.dispose(); } }
/** * Updates the view title based on the active console */ protected void updateTitle() { IConsole console = getConsole(); if (console == null) { setContentDescription(ConsoleMessages.ConsoleView_0); } else { String newName = console.getName(); String oldName = getContentDescription(); if (newName!=null && !(newName.equals(oldName))) { setContentDescription(console.getName()); } } }
@Override public void createControl(Composite parent) { fViewer = createViewer(parent); fViewer.setConsoleWidth(fConsole.getConsoleWidth()); fViewer.setTabWidth(fConsole.getTabWidth()); fConsole.addPropertyChangeListener(this); JFaceResources.getFontRegistry().addListener(this); String id = "#ContextMenu"; //$NON-NLS-1$ if (getConsole().getType() != null) { id = getConsole().getType() + "." + id; //$NON-NLS-1$ } fMenuManager= new MenuManager("#ContextMenu", id); //$NON-NLS-1$ fMenuManager.setRemoveAllWhenShown(true); fMenuManager.addMenuListener(new IMenuListener() { @Override public void menuAboutToShow(IMenuManager m) { contextMenuAboutToShow(m); } }); Menu menu = fMenuManager.createContextMenu(getControl()); getControl().setMenu(menu); createActions(); configureToolBar(getSite().getActionBars().getToolBarManager()); getSite().registerContextMenu(id, fMenuManager, fViewer); getSite().setSelectionProvider(fViewer); fViewer.getSelectionProvider().addSelectionChangedListener(selectionChangedListener); fViewer.addTextListener(textListener); }
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; }
public void createControl(Composite parent) { fViewer = createViewer(parent); fViewer.setConsoleWidth(fConsole.getConsoleWidth()); fViewer.setTabWidth(fConsole.getTabWidth()); fConsole.addPropertyChangeListener(this); JFaceResources.getFontRegistry().addListener(this); String id = "#ContextMenu"; //$NON-NLS-1$ if (getConsole().getType() != null) { id = getConsole().getType() + "." + id; //$NON-NLS-1$ } fMenuManager= new MenuManager("#ContextMenu", id); //$NON-NLS-1$ fMenuManager.setRemoveAllWhenShown(true); fMenuManager.addMenuListener(new IMenuListener() { public void menuAboutToShow(IMenuManager m) { contextMenuAboutToShow(m); } }); Menu menu = fMenuManager.createContextMenu(getControl()); getControl().setMenu(menu); createActions(); configureToolBar(getSite().getActionBars().getToolBarManager()); getSite().registerContextMenu(id, fMenuManager, fViewer); getSite().setSelectionProvider(fViewer); fViewer.getSelectionProvider().addSelectionChangedListener(selectionChangedListener); fViewer.addTextListener(textListener); }
private IConsole findConsole() throws FileNotFoundException { ConsolePlugin conPlugin = ConsolePlugin.getDefault(); IConsoleManager conMan = conPlugin.getConsoleManager(); IConsole[] existing = conMan.getConsoles(); int nameFoundIndex = -1; for (int i = 0; i < existing.length; i++) { // check full name first if (getConsolePath(existing[i]).equals(getPath())) { return existing[i]; } // check short name if not already found int flags = 0; flags = java.util.regex.Pattern.CASE_INSENSITIVE | java.util.regex.Pattern.UNICODE_CASE; regexp = Pattern.compile(getNamePattern(), flags); if ((nameFoundIndex == -1) && regexp.matcher(existing[i].getName()).matches()) { nameFoundIndex = i; } } if (nameFoundIndex != -1) { return existing[nameFoundIndex]; } throw new FileNotFoundException("no console found"); }