Beispiel #1
0
 private void jButton1ActionPerformed(java.awt.event.ActionEvent evt) { // 监听事件
   // TODO add your handling code here:
   if (jRadioButton1.isSelected()) {
     jRadioButtonName = jRadioButton1.getText();
   } else if (jRadioButton2.isSelected()) {
     jRadioButtonName = jRadioButton2.getText();
   }
   try {
     fwriter = new FileWriter(filename);
     fwriter.write(jTextField1.getText());
     fwriter.write("\r\n");
     fwriter.write(jTextField2.getText());
     fwriter.write("\r\n");
     fwriter.write(jTextField3.getText());
     fwriter.write("\r\n");
     fwriter.write(jTextField4.getText());
     fwriter.write("\r\n");
     fwriter.write(jRadioButtonName);
     fwriter.write("\r\n");
   } catch (IOException e) {
     e.printStackTrace();
   } finally {
     try {
       fwriter.flush();
       fwriter.close();
     } catch (IOException e) {
       e.printStackTrace();
     }
   }
   this.dispose();
 }
 /**
  * Create an Internet shortcut
  *
  * @param name name of the shortcut
  * @param where location of the shortcut
  * @param target URL
  * @param icon URL (ex. http://www.server.com/favicon.ico)
  */
 public static void createInternetShortcut(String name, String where, String target, String icon) {
   try (FileWriter fw = new FileWriter(where)) {
     fw.write("[InternetShortcut]\n");
     fw.write("URL=" + target + '\n');
     if (!icon.isEmpty()) fw.write("IconFile=" + icon + '\n');
   } catch (IOException iox) {
     /**/
   }
 }
 /**
  * Used to determine if a soar production matches Working Memory This function will also generate
  * a log file to keep track of production checking
  *
  * @param sv the SoarIdentifierVertex in WorkingMemory currently checking
  * @param sp the Soar Production to check
  * @param fw the log file that is being written too - "CheckingProductions.log"
  * @return a list of errors
  * @see DefaultCheckerErrorHandler
  * @see
  *     DataMapChecker#check(SoarWorkingMemoryModel,SoarIdentifierVertex,TriplesExtractor,DefaultCheckerErrorHandler)
  */
 public List checkProductionLog(SoarIdentifierVertex sv, SoarProduction sp, FileWriter fw) {
   TriplesExtractor triplesExtractor = new TriplesExtractor(sp);
   try {
     fw.write("Extracted the triples for the production " + sp.getName());
     fw.write('\n');
   } catch (IOException ioe) {
     ioe.printStackTrace();
   }
   DefaultCheckerErrorHandler dceh =
       new DefaultCheckerErrorHandler(sp.getName(), sp.getStartLine());
   DataMapChecker.checkLog(this, sv, triplesExtractor, dceh, fw);
   return dceh.getErrors();
 }
    private static void createBrokenMarkerFile(@Nullable Throwable reason) {
      final File brokenMarker = getCorruptionMarkerFile();

      try {
        final ByteArrayOutputStream out = new ByteArrayOutputStream();
        final PrintStream stream = new PrintStream(out);
        try {
          new Exception().printStackTrace(stream);
          if (reason != null) {
            stream.print("\nReason:\n");
            reason.printStackTrace(stream);
          }
        } finally {
          stream.close();
        }
        LOG.info("Creating VFS corruption marker; Trace=\n" + out.toString());

        final FileWriter writer = new FileWriter(brokenMarker);
        try {
          writer.write(
              "These files are corrupted and must be rebuilt from the scratch on next startup");
        } finally {
          writer.close();
        }
      } catch (IOException e) {
        // No luck.
      }
    }
  // {{{ EditServer constructor
  EditServer(String portFile) {
    super("jEdit server daemon [" + portFile + "]");
    setDaemon(true);
    this.portFile = portFile;
    try {
      // On Unix, set permissions of port file to rw-------,
      // so that on broken Unices which give everyone read
      // access to user home dirs, people can't see your
      // port file (and hence send arbitriary BeanShell code
      // your way. Nasty.)
      if (OperatingSystem.isUnix()) {
        new File(portFile).createNewFile();
        FileVFS.setPermissions(portFile, 0600);
      }

      // Bind to any port on localhost; accept 2 simultaneous
      // connection attempts before rejecting connections
      socket = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1"));
      authKey = new Random().nextInt(Integer.MAX_VALUE);
      int port = socket.getLocalPort();

      FileWriter out = new FileWriter(portFile);

      try {
        out.write("b\n");
        out.write(String.valueOf(port));
        out.write("\n");
        out.write(String.valueOf(authKey));
        out.write("\n");
      } finally {
        out.close();
      }

      ok = true;

      Log.log(Log.DEBUG, this, "jEdit server started on port " + socket.getLocalPort());
      Log.log(Log.DEBUG, this, "Authorization key is " + authKey);
    } catch (IOException io) {
      /* on some Windows versions, connections to localhost
       * fail if the network is not running. To avoid
       * confusing newbies with weird error messages, log
       * errors that occur while starting the server
       * as NOTICE, not ERROR */
      Log.log(Log.NOTICE, this, io);
    }
  } // }}}
    public void actionPerformed(ActionEvent e) {
      System.out.println(backEnd);

      try {
        FileWriter f = new FileWriter(output);
        f.write(backEnd.toString());
        f.close();
      } catch (IOException a) {
        JOptionPane.showMessageDialog(null, "Error loading file to save to.");
      }
    }
 public boolean saveToFile(String namefile) {
   try {
     File file = new File(namefile);
     FileWriter out = new FileWriter(file);
     String text = textArea.getText();
     out.write(text);
     out.close();
     return true;
   } catch (IOException e) {
     System.out.println("Error saving file.");
   }
   return false;
 }
Beispiel #8
0
  public static void stringToFile(String file, String string) {
    try {
      if (file.lastIndexOf('\\') != -1) {
        File par = new File(file.substring(0, file.lastIndexOf('\\')));
        par.mkdirs();
      }

      FileWriter fw = new FileWriter(file);
      fw.write(string);
      fw.flush();
      fw.close();
    } catch (IOException e) {
      System.out.println("Failed to save file.");
    }
  }
  /**
   * This method is called whenever a status message is received from the Cryogen Monitor.
   *
   * @param iWhat An integer coding what the value is for (status=152).
   * @param iValue Is true.
   */
  protected void processStatus(String iWhat, boolean iValue) {
    StringTokenizer toker, dateToker;
    String elem, elem2;
    int errors = 0;
    String time = " ";
    String heLevel = "000";
    String n2Level = "000";
    // System.out.println("received:"+iWhat);

    iWhat = iWhat.replace("Connected to E5025", "");

    if (!iValue) {
      if (m_cryoPanel != null) {
        m_cryoPanel.cryomonNotCommunicating();
      }
      return;
    }
    // String key = new String(iWhat);
    if (iWhat == null) return;
    if (m_cryoPanel != null) m_cryoPanel.writeAdvanced("Received: " + iWhat + "\n");

    toker = new StringTokenizer(iWhat, ",");

    if (iWhat.endsWith("Z*")) {
      // m_statusPoller.clrDataCount();
    } else if (iWhat.endsWith("NH*")) {
      // m_statusPoller.clrDataCount();
    } else if (iWhat.endsWith("EH*")) {
      if (m_cryoPanel != null) {
        // String msg=iWhat.replace("Connected", "");
        m_cryoPanel.setErrors(iWhat);
      }
    } else if (iWhat.endsWith(" t*")) {
      // String s=iWhat.replace("Connected","");
      Date date = getDate(iWhat);
      last_date = date;
      if (m_cryoPanel != null) m_cryoPanel.setTime(iWhat);
    } else if (iWhat.startsWith("V")) {
      if (m_cryoPanel != null) {
        String msg = iWhat.replace("*", "");
        // System.out.println("CryoSocketControl version: " + msg);
        DataFileManager.setFirmwareVersion(msg);
      }
    } else if (iWhat.startsWith("Date")) {
      m_cryoPanel.writeAdvanced("Reading Log: " + iWhat + "\n");
      // open file & read rest of lines into file
      String logFile = m_cryoPanel.getLogFile();
      try {
        m_write2Log = true;
        pause(true);
        // System.out.println("Opening log file " + logFile);
        FileWriter outLog = new FileWriter(logFile, false); // open file and do not append data
        // System.out.println("Writing log file " + logFile);
        outLog.write(iWhat + "\n");
        outLog.flush();
      } catch (Exception e) {
        // System.out.println("Could not write log file.");
      }
    } else if (iWhat.endsWith("W*")) {
      if (m_cryoPanel != null) {
        errors = 0;
        heLevel = "000";
        n2Level = "000";
        while (toker.hasMoreTokens()) {
          elem = toker.nextToken();
          if (elem.startsWith("E5") || elem.startsWith("E6")) {
            if (m_cryoPanel != null) DataFileManager.setMonitorType(elem);
          } else if (elem.startsWith("ND")) {
            elem = elem.substring(2, 5);
            m_cryoPanel.writeAdvanced("N2 level: " + elem + "\n");
            n2Level = elem;
          } else if (elem.startsWith("HL")) {
            elem = elem.substring(2, 6);
            try {
              int HL = Integer.parseInt(elem);
              DataFileManager.HL = HL;
              m_cryoPanel.writeAdvanced("HL level: " + HL + "\n");
            } catch (Exception e) {
              System.out.println("Input format error in HL");
            }

          } else if (elem.startsWith("SA")) {
            errors = Integer.parseInt(elem.substring(2));
          } else if (elem.startsWith("SB")) {
            int sb = Integer.parseInt(elem.substring(2));
            errors += sb << 8;
            // m_cryoPanel.setStatus(errors);
          } else if (elem.startsWith("P1D")) {
            elem2 = toker.nextToken(); // get P2D for second probe
            if (elem.substring(8, 12).startsWith("+")) {
              elem = elem.substring(9, 12);
            } else {
              elem = elem.substring(8, 12);
            }
            if (elem2.substring(8, 12).startsWith("+")) {
              elem2 = elem2.substring(9, 12);
            } else {
              elem2 = elem2.substring(8, 12);
            }
            m_cryoPanel.writeAdvanced("He levelP1: " + elem + " levelP2: " + elem2 + "\n");
            if (elem.startsWith("#") && elem2.startsWith("#")) // no probes enabled
            heLevel = "000";
            else if (elem.startsWith("#")) heLevel = elem2;
            else if (elem2.startsWith("#")) heLevel = elem;
            else { // both probes enabled
              heLevel = elem;
              try {
                int v1 = Integer.parseInt(elem);
                int v2 = Integer.parseInt(elem2);
                int max_val = v1 > v2 ? v1 : v2;
                DecimalFormat myFormatter = new DecimalFormat("000");
                String output = myFormatter.format(max_val);
                // System.out.println("He1:"+elem+" He2:"+elem2+" ave:"+output);
                heLevel = output;
              } catch (Exception e) {
                System.out.println("Input format error in He level");
              }
            }
          } else if (elem.startsWith("t")) {
            time = elem.replace("t", "");
            dateToker = new StringTokenizer(time, " ");
            if (dateToker.hasMoreTokens()) {
              prev_read = last_read;
              last_read = getDate(time);
            }
          }
        }
        if (last_date != null) {
          writeDataToFile(last_date, heLevel, n2Level, errors);
        }
      }
    } else if (m_write2Log) {
      if (iWhat.startsWith("*")) {
        // close file
        m_cryoPanel.popupMsg("Log File", "Cryogen Monitor log written", false);
        m_cryoPanel.writeAdvanced("Reading Log Done.\n");
        m_write2Log = false;
        pause(false);
        m_cryoPanel.setReadLogFlag(false);
      } else {
        String logFile = m_cryoPanel.getLogFile();
        try {
          FileWriter outLog = new FileWriter(logFile, true); // open file and append data
          outLog.write(iWhat + "\n");
          outLog.flush();
        } catch (Exception e) {
          // System.out.println("Could not write log file.");
        }
      }
    }
  }
Beispiel #10
0
 /**
  * This function writes the generated relative overview to a file.
  *
  * @param f The file to write to.
  * @throws IOException Thrown if unable to open or write to the file.
  * @throws InsufficientDataException Thrown if unable to generate the overview.
  */
 public void writeToFile(File f) throws IOException, InsufficientDataException {
   f.createNewFile();
   FileWriter fw = new FileWriter(f);
   fw.write(generateOverviewText());
   fw.close();
 }
Beispiel #11
0
  private void initComponents() { // 初始化构件

    jLabel1 = new JLabel();
    jLabel2 = new JLabel();
    jLabel3 = new JLabel();
    jLabel4 = new JLabel();
    jLabel5 = new JLabel();
    jTextField1 = new JTextField(null);
    jTextField2 = new JTextField(null);
    jTextField3 = new JTextField(null);
    jTextField4 = new JTextField(null);
    jRadioButton1 = new JRadioButton("男");
    jRadioButton2 = new JRadioButton("女");
    jRadioButtonName = new String();
    jButton1 = new JButton();
    ButtonGroup buttonGroup = new ButtonGroup(); // 单选按钮组
    buttonGroup.add(jRadioButton1);
    buttonGroup.add(jRadioButton2);
    setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
    setResizable(false); // 不可更改大小

    jLabel1.setText("心电仪IP地址");
    jLabel2.setText("端口号");
    jLabel3.setText("档案ID");
    jLabel4.setText("姓名");
    jLabel5.setText("性别");
    jButton1.setText("确定");

    this.addWindowListener(
        new WindowAdapter() {
          @Override
          public void windowClosing(WindowEvent e) {
            jLabel1.setText(null);
            jLabel2.setText(null);
            jLabel3.setText(null);
            jLabel4.setText(null);
            jLabel5.setText(null);
            jRadioButtonName = null;
            System.out.println("windowClosing");
          }
        });

    if (!file.exists()) {
      try {
        fwriter = new FileWriter(filename);
        fwriter.write(jTextField1.getText());
        fwriter.write("\r\n");
        fwriter.write(jTextField2.getText());
        fwriter.write("\r\n");
        fwriter.write(jTextField3.getText());
        fwriter.write("\r\n");
        fwriter.write(jTextField4.getText());
        fwriter.write("\r\n");
        fwriter.write(jRadioButtonName);
        fwriter.write("\r\n");

      } catch (IOException e) {
        e.printStackTrace();
      } finally {
        try {
          fwriter.flush();
          fwriter.close();
        } catch (IOException e) {
          e.printStackTrace();
        }
      }
    } else {
      File file = new File(filename);
      String[] fileContent = new String[5];
      try {
        reader = new BufferedReader(new FileReader(file));
        String tempString = null;
        int line = 1; // 一次读入一行,直到读入null为文件结束
        while ((tempString = reader.readLine()) != null) {
          System.out.println("line" + line + ": " + tempString);
          // content=tempString;
          fileContent[line - 1] = tempString;
          line++;
        }
        reader.close();
      } catch (IOException e) {
        e.printStackTrace();
      } finally {
        if (reader != null) {
          try {
            reader.close();
          } catch (IOException e1) {
          }
        }
      }
      jTextField1.setText(fileContent[0]);
      jTextField2.setText(fileContent[1]);
      jTextField3.setText(fileContent[2]);
      jTextField4.setText(fileContent[3]);
      jRadioButtonName = fileContent[4];
      if (jRadioButtonName.equals((String) "男")) {
        jRadioButton1.setSelected(true);
      } else if (jRadioButtonName.equals((String) "女")) {
        jRadioButton2.setSelected(true);
      }
    }

    jButton1.addActionListener(
        new java.awt.event.ActionListener() {
          public void actionPerformed(java.awt.event.ActionEvent evt) {
            jButton1ActionPerformed(evt); // jButton1ActionPerformed这个方法在后面定义
          }
        }); // 按钮的监听事件

    GroupLayout layout = new GroupLayout(getContentPane()); // GroupLayout布局
    getContentPane().setLayout(layout);
    layout.setHorizontalGroup(
        layout
            .createParallelGroup(GroupLayout.Alignment.LEADING)
            .addGroup(
                layout
                    .createSequentialGroup()
                    .addGap(40, 40, 40)
                    .addGroup(
                        layout
                            .createParallelGroup(GroupLayout.Alignment.TRAILING)
                            .addComponent(jButton1)
                            .addGroup(
                                layout
                                    .createSequentialGroup()
                                    .addGroup(
                                        layout
                                            .createParallelGroup(GroupLayout.Alignment.TRAILING)
                                            .addComponent(jLabel5)
                                            .addComponent(jLabel4)
                                            .addComponent(jLabel3)
                                            .addComponent(jLabel2)
                                            .addComponent(jLabel1))
                                    .addGap(40, 40, 40)
                                    .addGroup(
                                        layout
                                            .createParallelGroup(GroupLayout.Alignment.LEADING)
                                            .addGroup(
                                                layout
                                                    .createSequentialGroup()
                                                    .addComponent(jRadioButton1)
                                                    .addComponent(jRadioButton2))
                                            .addComponent(
                                                jTextField4,
                                                GroupLayout.PREFERRED_SIZE,
                                                160,
                                                GroupLayout.PREFERRED_SIZE)
                                            .addComponent(
                                                jTextField3,
                                                GroupLayout.PREFERRED_SIZE,
                                                160,
                                                GroupLayout.PREFERRED_SIZE)
                                            .addComponent(
                                                jTextField2,
                                                GroupLayout.PREFERRED_SIZE,
                                                160,
                                                GroupLayout.PREFERRED_SIZE)
                                            .addComponent(
                                                jTextField1,
                                                GroupLayout.PREFERRED_SIZE,
                                                160,
                                                GroupLayout.PREFERRED_SIZE))))
                    .addContainerGap(85, Short.MAX_VALUE)));

    layout.setVerticalGroup(
        layout
            .createParallelGroup(GroupLayout.Alignment.LEADING)
            .addGroup(
                layout
                    .createSequentialGroup()
                    .addGap(20, 20, 20)
                    .addGroup(
                        layout
                            .createParallelGroup(GroupLayout.Alignment.BASELINE)
                            .addComponent(jLabel1)
                            .addComponent(
                                jTextField1,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE))
                    .addGap(20, 20, 20)
                    .addGroup(
                        layout
                            .createParallelGroup(GroupLayout.Alignment.BASELINE)
                            .addComponent(jLabel2)
                            .addComponent(
                                jTextField2,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE))
                    .addGap(20, 20, 20)
                    .addGroup(
                        layout
                            .createParallelGroup(GroupLayout.Alignment.BASELINE)
                            .addComponent(jLabel3)
                            .addComponent(
                                jTextField3,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE))
                    .addGap(20, 20, 20)
                    .addGroup(
                        layout
                            .createParallelGroup(GroupLayout.Alignment.BASELINE)
                            .addComponent(jLabel4)
                            .addComponent(
                                jTextField4,
                                GroupLayout.PREFERRED_SIZE,
                                GroupLayout.DEFAULT_SIZE,
                                GroupLayout.PREFERRED_SIZE))
                    .addGap(20, 20, 20)
                    .addGroup(
                        layout
                            .createParallelGroup(GroupLayout.Alignment.BASELINE)
                            .addComponent(jLabel5)
                            .addGroup(
                                layout
                                    .createParallelGroup()
                                    .addComponent(jRadioButton1)
                                    .addComponent(jRadioButton2)))
                    .addPreferredGap(LayoutStyle.ComponentPlacement.UNRELATED)
                    .addComponent(jButton1)
                    .addContainerGap(23, Short.MAX_VALUE)));

    pack(); // 调整此窗口的大小,以适合其子组件的首选大小和布局
    setLocationRelativeTo(null); // 窗口居中显示
  } //  初始化构件initComponents() 结束
  public EditorPaneHTMLHelp(String htmlFile) {
    if (GlobalValues.useSystemBrowserForHelp) {
      Desktop d = GlobalValues.desktop;
      try {
        // create a temp file
        GlobalValues.forHTMLHelptempFile = new File("tempHTMLHelpSynthetic.html");
        FileWriter fw = new FileWriter(GlobalValues.forHTMLHelptempFile);

        java.util.List<String> list = readTextFromJar(htmlFile);
        Iterator<String> it = list.iterator();
        while (it.hasNext()) {
          fw.write(it.next() + "\n");
        }

        String canonicalPathOfFile = GlobalValues.forHTMLHelptempFile.getCanonicalPath();
        URL urlFile = new URL("file://" + canonicalPathOfFile);
        URI uriOfFile = urlFile.toURI();

        fw.close();

        d.browse(uriOfFile);

      } catch (Exception e) {
        e.printStackTrace();
      }

    } else {
      URL initialURL = getClass().getResource(htmlFile);

      font = GlobalValues.htmlfont;

      String title = "HTML Help";
      setTitle(title);

      final Stack<String> urlStack = new Stack<String>();
      final JEditorPane editorPane;

      editorPane = new JEditorPane(new HTMLEditorKit().getContentType(), " ");

      editorPane.setOpaque(false);
      editorPane.setBorder(null);
      editorPane.setEditable(false);

      JPanel magPanel = new JPanel();

      magnificationFactor = GlobalValues.helpMagnificationFactor;
      magFactor = new JTextField(Double.toString(magnificationFactor));

      JButton magButton = new JButton("Set Magnification: ");
      magButton.addActionListener(
          new ActionListener() {

            public void actionPerformed(ActionEvent e) {
              magnificationFactor = Double.parseDouble(magFactor.getText());
              GlobalValues.helpMagnificationFactor = magnificationFactor;
            }
          });

      magPanel.setLayout(new GridLayout(1, 2));
      magPanel.add(magButton);
      magPanel.add(magFactor);

      final JTextField url = new JTextField(initialURL.toString());

      // set up hyperlink listener
      editorPane.setEditable(false);

      try {
        // remember URL for back button
        urlStack.push(initialURL.toString());
        // show URL in text field
        url.setText(initialURL.toString());

        // add a CSS rule to force body tags to use the default label font
        // instead of the value in javax.swing.text.html.default.csss

        String bodyRule =
            "body { font-family: "
                + font.getFamily()
                + "; "
                + "font-size: "
                + font.getSize() * GlobalValues.helpMagnificationFactor
                + "pt; }";
        ((HTMLDocument) editorPane.getDocument()).getStyleSheet().addRule(bodyRule);

        editorPane.setPage(initialURL);

        editorPane.firePropertyChange("dummyProp", true, false);

      } catch (IOException e) {
        editorPane.setText("Exception: " + e);
      }

      editorPane.addPropertyChangeListener(
          new PropertyChangeListener() {

            public void propertyChange(PropertyChangeEvent evt) {

              String bodyRule =
                  "body { font-family: "
                      + font.getFamily()
                      + "; "
                      + "font-size: "
                      + font.getSize() * GlobalValues.helpMagnificationFactor
                      + "pt; }";
              ((HTMLDocument) editorPane.getDocument()).getStyleSheet().addRule(bodyRule);
            }
          });

      editorPane.addHyperlinkListener(
          new HyperlinkListener() {
            public void hyperlinkUpdate(HyperlinkEvent event) {
              if (event.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
                try {
                  // remember URL for back button
                  urlStack.push(event.getURL().toString());
                  // show URL in text field
                  url.setText(event.getURL().toString());
                  editorPane.setPage(event.getURL());

                  editorPane.firePropertyChange("dummyProp", true, false);

                } catch (IOException e) {
                  editorPane.setText("Exception: " + e);
                }
              }
            }
          });

      // set up checkbox for toggling edit mode
      final JCheckBox editable = new JCheckBox();
      editable.addActionListener(
          new ActionListener() {
            public void actionPerformed(ActionEvent event) {
              editorPane.setEditable(editable.isSelected());
            }
          });

      // set up load button for loading URL
      ActionListener listener =
          new ActionListener() {
            public void actionPerformed(ActionEvent event) {
              try {
                // remember URL for back button
                urlStack.push(url.getText());
                editorPane.setPage(url.getText());

                editorPane.firePropertyChange("dummyProp", true, false);

              } catch (IOException e) {
                editorPane.setText("Exception: " + e);
              }
            }
          };

      JButton loadButton = new JButton("Load/Magnify");
      loadButton.addActionListener(listener);
      url.addActionListener(listener);

      // set up back button and button action

      JButton backButton = new JButton("Back");
      backButton.addActionListener(
          new ActionListener() {
            public void actionPerformed(ActionEvent event) {
              if (urlStack.size() <= 1) return;
              try {
                // get URL from back button
                urlStack.pop();
                // show URL in text field
                String urlString = urlStack.peek();
                url.setText(urlString);
                editorPane.setPage(urlString);

                editorPane.firePropertyChange("dummyProp", true, false);

              } catch (IOException e) {
                editorPane.setText("Exception: " + e);
              }
            }
          });

      JPanel allPanel = new JPanel(new BorderLayout());

      // put all control components in a panel

      JPanel ctrlPanel = new JPanel(new BorderLayout());
      JPanel urlPanel = new JPanel();
      urlPanel.add(new JLabel("URL"));
      urlPanel.add(url);
      JPanel buttonPanel = new JPanel();
      buttonPanel.add(loadButton);
      buttonPanel.add(backButton);
      buttonPanel.add(new JLabel("Editable"));
      buttonPanel.add(magPanel);
      buttonPanel.add(editable);
      ctrlPanel.add(buttonPanel, BorderLayout.NORTH);
      ctrlPanel.add(urlPanel, BorderLayout.CENTER);

      allPanel.add(ctrlPanel, BorderLayout.NORTH);
      allPanel.add(new JScrollPane(editorPane), BorderLayout.CENTER);

      add(allPanel);
    }
  }