public void run() { ConsoleView consoleView = (ConsoleView) fView; boolean pinned = consoleView.isPinned(); if (pinned) { consoleView.setPinned(false); } List stack = consoleView.getConsoleStack(); if (stack.size() > 1) { IConsole console = (IConsole) stack.get(1); fView.display(console); } if (pinned) { consoleView.setPinned(true); } }
public void pin(IConsole console) { if (console == null) { setPinned(false); } else { if (isPinned()) { setPinned(false); } display(console); setPinned(true); } } }
@Override public void pin(IConsole console) { if (console == null) { setPinned(false); } else { if (isPinned()) { setPinned(false); } display(console); setPinned(true); } }
@Override public void run() { ConsoleView consoleView = (ConsoleView) fView; boolean pinned = consoleView.isPinned(); try { if (pinned) { consoleView.setPinned(false); } IConsole[] consoles = ConsolePlugin.getDefault().getConsoleManager().getConsoles(); IConsole current = fView.getConsole(); int idx = 0; for (int i = 0; i < consoles.length; i++) { idx = i; if(consoles[i] == current) { break; } } int next = idx+1; if(next >= consoles.length) { next = 0; } fView.display(consoles[next]); } finally { if (pinned) { consoleView.setPinned(true); } } }