New editor: mark occurrences enable when "editor.advanced" (hidden pref) is true. Fixes #3102

Author: Federico Fissore

app/src/processing/app/Editor.java

@@ -959,7 +959,7 @@ protected String findClassInZipFile(String base, File file) {
   protected SketchTextArea createTextArea() throws IOException {
     SketchTextArea textArea = new SketchTextArea(base.getPdeKeywords());
     textArea.requestFocusInWindow();
-    textArea.setMarkOccurrences(true);
+    textArea.setMarkOccurrences(PreferencesData.getBoolean("editor.advanced"));
     textArea.setMarginLineEnabled(false);
     textArea.setCodeFoldingEnabled(PreferencesData.getBoolean("editor.code_folding"));
     textArea.setAntiAliasingEnabled(PreferencesData.getBoolean("editor.antialias"));