*/
public void openCategory(String title,
String widgetID) {
if ( !explorerViewCenterPanel.showIfOpen( widgetID ) ) {
final String categoryPath = widgetID.substring( widgetID.indexOf( "-" ) + 1 );
final CategoryPagedTable table = new CategoryPagedTable( categoryPath,
createEditEvent(),
GWT.getModuleBaseURL()
+ "feed/category?name="
+ categoryPath
+ "&viewUrl="
+ Util.getSelfURL() );
final ServerPushNotification push = new ServerPushNotification() {
public void messageReceived(PushResponse response) {
if ( response.messageType.equals( "categoryChange" )
&& response.message.equals( categoryPath ) ) {
table.refresh();
}
}
};
PushClient.instance().subscribe( push );
table.addUnloadListener( new Command() {
public void execute() {
PushClient.instance().unsubscribe( push );
}
} );