bshPanel.setLayout(new BorderLayout());
bshPanel.add(scrollEditor, BorderLayout.NORTH);
bshPanel.add(scrollOutput, BorderLayout.SOUTH);
cp.add(bshPanel, BorderLayout.CENTER);
editor.addKeyListener(new KeyAdapter() {
public void keyPressed(KeyEvent ke) {
if (ke.getKeyCode() == KeyEvent.VK_F12) {
evaluateText();
repaint();
}