Method changedUpdate

java/src/processing/mode/java/JavaEditor.java:765–768

(DocumentEvent e)

        }

        @Override
        public void changedUpdate(DocumentEvent e) {
          sketchChanged();
        }
      });
    }
  }