r.setFather(this);
}
this.additionalInformationPanel.add(this.addInfo);
this.globalPanel.add(scrollScriptPanel, new CC().grow().width("0").wrap());
this.globalPanel.add(exampleButtonsPanel, new CC().growX().shrink(0).wrap());
this.globalPanel.add(additionalInformationPanel, new CC().grow().shrink(0).wrap());
this.globalPanel.add(exercisePanel, new CC().shrink(0));
this.setVisible(true);
this.setGraphLabelsAndTitles(this.getRepresentableName(this.getApplicableGraphType()));
this.getScriptArea().addKeyListener(this);
this.buttonAutoScript.addMouseListener(this);
// this.buttonRandomizeNondet.addMouseListener(this);