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