Method run

src/main/java/gate/gui/LogArea.java:419–457

()

    }

    @Override
    public void run() {

      if(cboAppend.isSelected() && logFileWriter != null) {
        // if logging to a file is enabled then do the logging
        logFileWriter.print(text);
        logFileWriter.flush();
      }

      try {
        // endPos is always one past the real end position because of the
        // implicit newline character at the end of any Document
        getDocument().insertString(endPos.getOffset() - 1, text, style);

        if(cboLogSize.isSelected()
            && getDocument().getLength() > logSizeModel.getNumber().intValue()) {
          // if the document is now over the buffer size then trim it roughly to
          // length by finding the first new line within the valid buffer size
          // and cutting there or if there is no new line then just trim to
          // length
          int index =
              getText().indexOf(
                  "\n",
                  getDocument().getLength()
                      - logSizeModel.getNumber().intValue()) + 1;
          getDocument().remove(
              0,
              index != 0 ? index : getDocument().getLength()
                  - logSizeModel.getNumber().intValue());
        }

        if(!btnScrollLock.isSelected()) {
          setCaretPosition(getDocument().getLength());
        }
      } catch(BadLocationException e) {
        // a BLE here is a real problem
        handleBadLocationException(e, text, style);
      }// End try
    }

    String text;