Method PDEX

java/src/processing/mode/java/pdex/PDEX.java:26–47

(JavaEditor editor, PreprocessingService pps)

  public PDEX(JavaEditor editor, PreprocessingService pps) {
    this.pps = pps;

    this.enabled = !editor.hasJavaTabs();

    errorChecker = new ErrorChecker(editor, pps);

    usage = new ShowUsage(editor, pps);
    inspect = new InspectMode(editor, pps, usage);
    rename = new Rename(editor, pps, usage);

    if (SHOW_DEBUG_TREE) {
      debugTree = new DebugTree(editor, pps);
    }

    for (SketchCode code : editor.getSketch().getCode()) {
      Document document = code.getDocument();
      addDocumentListener(document);
    }

    sketchChanged();
  }


  public void addDocumentListener(Document doc) {