} else {
// remove the old page
removeImage(getImageName(MouseState.HISTORY_PAGE));
// add next image
BufferedImage img = imsLoader.getLocalImageGroup(names[TEXT_HISTORY], --historyIndex);
insertImageLast(new NamedBufferedImage(img, names[TEXT_HISTORY]));
}
}
}
if (polyName.equals(names[TEXT_FOCUS_NEXT])){
if (pageState==PageState.HISTORY){
if (historyIndex==historySize-1){
// back to start page
returnBackToStartFromHistory();
} else {
// remove the old page
removeImage(getImageName(MouseState.HISTORY_PAGE));
// add next image
BufferedImage img = imsLoader.getLocalImageGroup(names[TEXT_HISTORY], ++historyIndex);
insertImageLast(new NamedBufferedImage(img, names[TEXT_HISTORY]));
}
}
}
if (polyName.equals(names[TEXT_FOCUS_HISTORY])){
// remove highlight image
removeImage(getImageName(state));
// remove the text
removeImage(getImageName(MouseState.UNFOCUSED));
// add back and next
insertImageLast(names[TEXT_BACK_NEXT]);
// add history
historyIndex=0;
historySize=imsLoader.getLocalImageGroupeSize(names[TEXT_HISTORY]);
BufferedImage img = imsLoader.getLocalImageGroup(names[TEXT_HISTORY], historyIndex);
insertImageLast(new NamedBufferedImage(img, names[TEXT_HISTORY]));
// change page state
pageState = PageState.HISTORY;
state = MouseState.HISTORY_PAGE;
} // end history
if (polyName.equals(names[TEXT_FOCUS_NEW])){