private JButton clearButton;\r
private JButton historyButton;\r
private JButton stateButton;\r
- private JButton helpButton;\r
- JmolViewer viewer;\r
+ JmolViewer viewer;\r
AppJMol appJmol;\r
\r
public ScriptWindow(AppJMol appJmol)\r
add(buttonPanel, BorderLayout.SOUTH);\r
\r
runButton = new JButton(GT._("Run"));\r
- runButton.addActionListener(this);\r
- buttonPanel.add(runButton);\r
-\r
haltButton = new JButton(GT._("Halt"));\r
+ runButton.addActionListener(this);\r
+ // buttonPanel.add(runButton);\r
haltButton.addActionListener(this);\r
- buttonPanel.add(haltButton);\r
+ // buttonPanel.add(haltButton);\r
haltButton.setEnabled(false);\r
\r
clearButton = new JButton(GT._("Clear"));\r
stateButton.addActionListener(this);\r
buttonPanel.add(stateButton);\r
\r
- helpButton = new JButton(GT._("Help"));\r
- helpButton.addActionListener(this);\r
- buttonPanel.add(helpButton);\r
-\r
closeButton = new JButton(GT._("Close"));\r
closeButton.addActionListener(this);\r
buttonPanel.add(closeButton);\r
\r
for(int i=0; i<buttonPanel.getComponentCount(); i++)\r
{\r
- ((JButton)buttonPanel.getComponent(i))\r
- .setMargin(new Insets(0, 0, 0, 0));\r
+ // ((JButton)buttonPanel.getComponent(i))\r
+ // .setMargin(new Insets(0, 0, 0, 0));\r
}\r
\r
}\r
console.clearContent(viewer.getStateInfo());\r
} else if (source == haltButton) {\r
viewer.haltScriptExecution();\r
- } else if (source == helpButton) {\r
- try{\r
- jalview.util.BrowserLauncher.openURL(\r
- "http://jmol.sourceforge.net/docs/JmolUserGuide/ch04.html");\r
- }catch(Exception ex){}\r
-\r
}\r
console.grabFocus(); // always grab the focus (e.g., after clear)\r
}\r