184185186187188189190191192193194195
} @Handler public void onMaximizeConsole() { LogicalWindow consoleWindow = panesByName_.get("Console"); if (consoleWindow.getState() != WindowState.MAXIMIZE) { consoleWindow.onWindowStateChange( new WindowStateChangeEvent(WindowState.MAXIMIZE)); } }
349350351352353354355
deployShinyTab_, eventBus_, consoleInterrupt_, goToWorkingDirButton); return new LogicalWindow(frame, new MinimizedWindowFrame("Console")); }
357358359360361362363364365
private LogicalWindow createSource() { WindowFrame sourceFrame = new WindowFrame(); sourceFrame.setFillWidget(source_.asWidget()); source_.forceLoad(); return sourceLogicalWindow_ = new LogicalWindow( sourceFrame, new MinimizedWindowFrame("Source")); }
394395396397398399400401402
}); new SelectedTabStateValue(persisterName, tabPanel); return new Triad<LogicalWindow, WorkbenchTabPanel, MinimizedModuleTabLayoutPanel>( new LogicalWindow(frame, minimized), tabPanel, minimized); }