*/
protected void showPageRec(PageRec pageRec) {
// don't show the page when pinned, unless this is the first console to be added
// or its the default page
if (fActiveConsole != null && pageRec.page != getDefaultPage() && fPinned && fConsoleToPart.size() > 1) {
IConsole console = (IConsole)fPartToConsole.get(pageRec.part);
if (!fStack.contains(console)) {
fStack.add(console);
}
return;
}
IConsole recConsole = (IConsole)fPartToConsole.get(pageRec.part);
if (recConsole!=null && recConsole.equals(fActiveConsole)) {
return;
}
super.showPageRec(pageRec);
fActiveConsole = recConsole;
IConsole tos = null;
if (!fStack.isEmpty()) {
tos = (IConsole) fStack.get(0);
}
if (tos != null && !tos.equals(fActiveConsole) && fActive) {
deactivateParticipants(tos);
}
if (fActiveConsole != null && !fActiveConsole.equals(tos)) {
fStack.remove(fActiveConsole);
fStack.add(0,fActiveConsole);