Method handleRename

java/src/processing/mode/java/pdex/Rename.java:176–182

()

  // Thread: EDT
  void handleRename() {
    int startOffset = editor.getSelectionStart();
    int stopOffset = editor.getSelectionStop();
    int tabIndex = editor.getSketch().getCurrentCodeIndex();

    pps.whenDoneBlocking(ps -> handleRename(ps, tabIndex, startOffset, stopOffset));
  }


  // Thread: worker