/*
* nicht-öffentlicher Konstruktor
*/
private SchemeKonsole() {
super("Scheme - " + Utils.getResource("scheme.view.konsole"));
// SchemeHamster h = SchemeHamster.getHam();
setSize(600, 400);
setLocationRelativeTo(Workbench.getWorkbench().getView().getSimulationFrame());
// setLocation(180, 270);
// setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
setDefaultCloseOperation(0);
addWindowListener(
new WindowAdapter() {
public void windowClosing(WindowEvent e) {
// workbench.close(simulation);
setVisible(false);
Workbench.winSKon.setState(false);
}
});
input = new JMyTextArea(true);
input.erlaubeEinfuegen(true);
output = new JMyTextArea(false);
output.setEditable(false);
output.setBackground(new Color(230, 230, 230));
in = new JScrollPane();
in.getViewport().add(input);
out = new JScrollPane();
out.getViewport().add(output);
displaySpeicher = "";
submit = new JButton(Utils.getResource("scheme.konsole.run"));
submit.addActionListener(this);
delete = new JButton(Utils.getResource("scheme.konsole.delete"));
delete.addActionListener(this);
vor = new JButton(Utils.getResource("scheme.konsole.forward"));
vor.addActionListener(this);
vor.setEnabled(false);
zurueck = new JButton(Utils.getResource("scheme.konsole.back"));
zurueck.addActionListener(this);
zurueck.setEnabled(false);
list = new LinkedList();
// list.addLast("");
index = 0;
// Das Layout
Container c = this.getContentPane();
GridBagLayout layout = new GridBagLayout();
c.setLayout(layout);
// Positionierung x y w h wx wy
addComponent(
c, layout, new JLabel(Utils.getResource("scheme.konsole.output")), 1, 0, 1, 1, 0.0, 0.0);
addComponent(
c, layout, new JLabel(Utils.getResource("scheme.konsole.input")), 1, 2, 1, 1, 0.0, 0.0);
addComponent(c, layout, out, 1, 1, 5, 1, 1.0, 1.0);
addComponent(c, layout, in, 1, 3, 5, 1, 1.0, 1.0);
addComponentB(c, layout, submit, 1, 5, 1, 1, 0.0, 0.0);
addComponentB(c, layout, delete, 2, 5, 1, 1, 0.0, 0.0);
addComponentB(c, layout, vor, 3, 5, 1, 1, 0.0, 0.0);
addComponentB(c, layout, zurueck, 4, 5, 1, 1, 0.0, 0.0);
}
