コード例 #1
0
 public void insertUpdate(final DocumentEvent e) {
   EventQueue.invokeLater(
       new Runnable() {
         public void run() {
           try {
             String inserted = e.getDocument().getText(e.getOffset(), e.getLength());
             int i = inserted.indexOf('\n');
             if (i >= 0) {
               int offset = e.getOffset() + i;
               if (offset + 1 == e.getDocument().getLength()) {
                 returnResponse();
               } else {
                 // remove the '\n' and put it at the end
                 e.getDocument().remove(offset, 1);
                 e.getDocument().insertString(e.getDocument().getLength(), "\n", null);
                 // insertUpdate will be called again, since we have inserted the '\n' at
                 // the end
               }
             } else if (maxLen >= 0
                 && e.getDocument().getLength() - initialPos >= maxLen) {
               returnResponse();
             }
           } catch (BadLocationException ex) {
             returnResponse();
           }
         }
       });
 }
コード例 #2
0
 String response() {
   EventQueue.invokeLater(this);
   try {
     return resultQueue.take();
   } catch (InterruptedException ex) {
     return null;
   } finally {
     cleanup();
   }
 }
コード例 #3
0
 void cleanup() { // not required to be called from the GUI thread
   EventQueue.invokeLater(
       new Runnable() {
         public void run() {
           run.getDocument().removeDocumentListener(listener);
           run.setEditable(false);
           run.setNavigationFilter(null);
           run.setCaretPosition(run.getDocument().getLength());
           Simulator.getInstance().removeStopListener(stopListener);
         }
       });
 }
コード例 #4
0
 public void removeUpdate(final DocumentEvent e) {
   EventQueue.invokeLater(
       new Runnable() {
         public void run() {
           if ((e.getDocument().getLength() < initialPos || e.getOffset() < initialPos)
               && e instanceof UndoableEdit) {
             ((UndoableEdit) e).undo();
             run.setCaretPosition(e.getOffset() + e.getLength());
           }
         }
       });
 }