*/
public void openState(String title,
String widgetID) {
if ( !explorerViewCenterPanel.showIfOpen( widgetID ) ) {
final String stateName = widgetID.substring( widgetID.indexOf( "-" ) + 1 );
final StatePagedTable table = new StatePagedTable( stateName,
createEditEvent() );
final ServerPushNotification push = new ServerPushNotification() {
public void messageReceived(PushResponse response) {
if ( response.messageType.equals( "statusChange" )
&& (response.message).equals( stateName ) ) {
table.refresh();
}
}
};
PushClient.instance().subscribe( push );
table.addUnloadListener( new Command() {
public void execute() {
PushClient.instance().unsubscribe( push );
}
} );