/** Show source. */ public void showSource() { String sourceCode = window.getTopFrame().getSourceCode(); if (sourceCode == null) { sourceCode = ""; } TextViewerWindow textViewer = new TextViewerWindow(window); textViewer.setText(sourceCode); textViewer.setSize(new Dimension(600, 400)); textViewer.setLocationByPlatform(true); textViewer.setVisible(true); }
/** Show console. */ public void showConsole() { TextViewerWindow textViewer = new TextViewerWindow(window); textViewer.setScrollsOnAppends(true); textViewer.setSwingDocument(ConsoleModel.getStandard()); textViewer.setSize(new Dimension(600, 400)); textViewer.setLocationByPlatform(true); textViewer.setVisible(true); }