Method write

src/main/java/gate/gui/LogArea.java:596–604

Writes an int which must be a the code of a char, into the LogArea, using the style specified in constructor. The int is downcast to a byte.

(int charCode)

     * the style specified in constructor. The int is downcast to a byte.
     */
    @Override
    public void write(int charCode) {
      // charCode int must be a char. Let us be sure of that
      charCode &= 0x000000FF;
      // Convert the byte to a char before put it into the log area
      char c = (char)charCode;
      // Insert it in the log Area
      SwingUtilities.invokeLater(new SwingWriter(String.valueOf(c), style));
    }// write(int charCode)

    /**
     * Writes an array of bytes into the LogArea, using the style specified in