page.createControl(getPageBook());
console.addPropertyChangeListener(this);
// initialize page participants
IConsolePageParticipant[] consoleParticipants = ((ConsoleManager)getConsoleManager()).getPageParticipants(console);
final ListenerList participants = new ListenerList();
for (int i = 0; i < consoleParticipants.length; i++) {
participants.add(consoleParticipants[i]);
}
fConsoleToPageParticipants.put(console, participants);
Object[] listeners = participants.getListeners();
for (int i = 0; i < listeners.length; i++) {
final IConsolePageParticipant participant = (IConsolePageParticipant) listeners[i];
SafeRunner.run(new ISafeRunnable() {
public void run() throws Exception {
participant.init(page, console);
}
public void handleException(Throwable exception) {
ConsolePlugin.log(exception);
participants.remove(participant);
}
});
}
PageRec rec = new PageRec(dummyPart, page);