/** 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);
}
