mruList.get();
}
});
eventBus.addHandler(LastSourceDocClosedEvent.TYPE,
new LastSourceDocClosedHandler()
{
public void onLastSourceDocClosed(LastSourceDocClosedEvent event)
{
paneManager_.getSourceLogicalWindow().onWindowStateChange(
new WindowStateChangeEvent(WindowState.HIDE));