private void programmerRunButton(java.awt.event.ActionEvent evt)
    {
        hidePanels(manualPanel);
        // Resetting step log
        world.resetStepThrough();
        // Resetting speed
        currSpeed = 5;
        world.setSpeed(currSpeed);
        speedCounter.setText("Speed:        " + currSpeed);
        // Resetting the pause button
        Pause.setText("Pause");
        try {
         Image img = ImageIO.read(getClass().getResource("/karel/guipics/pause.png"));
         Pause.setIcon(new ImageIcon(img));
        } catch (IOException ex) {}
        programmerThread.stop();
        final List<String> userInput = Arrays.asList(programmerText.getText().split("\n"));                       
        Runnable r1 = new Runnable()
        {
             public void run()
             {
                 world.doScript(0, 0, userInput); // Running
             }
         };
         programmerThread = new Thread(r1);
         programmerThread.start();
    }