/** * Initialize for existing consoles */ private void updateForExistingConsoles() { IConsoleManager manager = getConsoleManager(); // create pages for consoles IConsole[] consoles = manager.getConsoles(); consolesAdded(consoles); // add as a listener manager.addConsoleListener(this); }
/** * Initialize for existing consoles */ private void updateForExistingConsoles() { IConsoleManager manager = getConsoleManager(); // create pages for consoles IConsole[] consoles = manager.getConsoles(); consolesAdded(consoles); // add as a listener manager.addConsoleListener(this); }
IConsolePageParticipant[] consoleParticipants = ((ConsoleManager)getConsoleManager()).getPageParticipants(console); final ListenerList<IConsolePageParticipant> participants = new ListenerList<>(); for (int i = 0; i < consoleParticipants.length; i++) {
IConsolePageParticipant[] consoleParticipants = ((ConsoleManager)getConsoleManager()).getPageParticipants(console); final ListenerList participants = new ListenerList(); for (int i = 0; i < consoleParticipants.length; i++) {