/* (non-Javadoc)
* @see simtools.ui.PageListModel.PageListListener#selectionHasChanged()
*/
public void selectionHasChanged() {
PageModel pm = model.getSelectedPage();
// Update label
if (pm != null){
selectedPage.setBorder(pm.getPageTitle());
}
// Update content
CardLayout cl = (CardLayout) (content.getLayout());
if (pm != null){
cl.show(content, pm.getPageTitle());
} else {
cl.show(content, "emptyPanel");
}
// Update tags status