In Base.handleOpen(), compare Files rather than Strings

Comparing a File object automatically takes care of filesystem case
sensitivity, whereas strings do not, so this makes the comparison
slightly more reliable.

Author: matthijskooijman

app/src/processing/app/Base.java

@@ -821,9 +821,8 @@ protected Editor handleOpen(File file, int[] storedLocation, int[] defaultLocati
     if (!file.exists()) return null;
 
     // Cycle through open windows to make sure that it's not already open.
-    String path = file.getAbsolutePath();
     for (Editor editor : editors) {
-      if (editor.getSketch().getMainFilePath().equals(path)) {
+      if (editor.getSketch().getPrimaryFile().getFile().equals(file)) {
         editor.toFront();
         return editor;
       }