X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FScriptWindow.java;h=8e6958432742771fe9616ece51861524df8fd41b;hb=f3f3f5d2d3d137ab12ea944a7a120de51677a5c6;hp=ba8570eaf2bc134a801bbefdb73035e224923803;hpb=5b16b5a383d06bbe7ed7844eed4248f69cd1cc21;p=jalview.git

diff --git a/src/jalview/gui/ScriptWindow.java b/src/jalview/gui/ScriptWindow.java
index ba8570e..8e69584 100644
--- a/src/jalview/gui/ScriptWindow.java
+++ b/src/jalview/gui/ScriptWindow.java
@@ -50,11 +50,10 @@ public final class ScriptWindow extends JPanel
   private JButton clearButton;
   private JButton historyButton;
   private JButton stateButton;
-  private JButton helpButton;
-  JmolViewer viewer;
-  AppJMol appJmol;
+   JmolViewer viewer;
+  AppJmol appJmol;
 
-  public ScriptWindow(AppJMol appJmol)
+  public ScriptWindow(AppJmol appJmol)
   {
     this.viewer = appJmol.viewer;
     this.appJmol = appJmol;
@@ -73,12 +72,11 @@ public final class ScriptWindow extends JPanel
     add(buttonPanel, BorderLayout.SOUTH);
 
     runButton = new JButton(GT._("Run"));
-    runButton.addActionListener(this);
-    buttonPanel.add(runButton);
-
     haltButton = new JButton(GT._("Halt"));
+    runButton.addActionListener(this);
+   // buttonPanel.add(runButton);
     haltButton.addActionListener(this);
-    buttonPanel.add(haltButton);
+  //  buttonPanel.add(haltButton);
     haltButton.setEnabled(false);
 
     clearButton = new JButton(GT._("Clear"));
@@ -93,18 +91,14 @@ public final class ScriptWindow extends JPanel
     stateButton.addActionListener(this);
     buttonPanel.add(stateButton);
 
-    helpButton = new JButton(GT._("Help"));
-    helpButton.addActionListener(this);
-    buttonPanel.add(helpButton);
-
     closeButton = new JButton(GT._("Close"));
     closeButton.addActionListener(this);
     buttonPanel.add(closeButton);
 
     for(int i=0; i<buttonPanel.getComponentCount(); i++)
     {
-      ((JButton)buttonPanel.getComponent(i))
-          .setMargin(new Insets(0, 0, 0, 0));
+    //  ((JButton)buttonPanel.getComponent(i))
+    //      .setMargin(new Insets(0, 0, 0, 0));
     }
 
   }
@@ -242,12 +236,6 @@ public final class ScriptWindow extends JPanel
       console.clearContent(viewer.getStateInfo());
     } else if (source == haltButton) {
       viewer.haltScriptExecution();
-    } else if (source == helpButton) {
-        try{
-          jalview.util.BrowserLauncher.openURL(
-              "http://jmol.sourceforge.net/docs/JmolUserGuide/ch04.html");
-        }catch(Exception ex){}
-
     }
     console.grabFocus(); // always grab the focus (e.g., after clear)
   }