\r
runButton = new JButton(GT._("Run"));\r
haltButton = new JButton(GT._("Halt"));\r
- /*\r
runButton.addActionListener(this);\r
- buttonPanel.add(runButton);\r
+ // buttonPanel.add(runButton);\r
haltButton.addActionListener(this);\r
- buttonPanel.add(haltButton);\r
- haltButton.setEnabled(false);*/\r
+ // buttonPanel.add(haltButton);\r
+ haltButton.setEnabled(false);\r
\r
clearButton = new JButton(GT._("Clear"));\r
clearButton.addActionListener(this);\r