From b4ff39144c426ee38b33962feb836fe21515ed1e Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Fri, 13 Mar 2015 10:49:16 +0100
Subject: [PATCH] Preferences frame opens on top of active editor

---
 app/src/processing/app/Preferences.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java
index e0910c343..c0c1e3160 100644
--- a/app/src/processing/app/Preferences.java
+++ b/app/src/processing/app/Preferences.java
@@ -675,6 +675,7 @@ public class Preferences {
     updateExtensionBox.setSelected(PreferencesData.get("editor.update_extension") == null ||
                                    PreferencesData.getBoolean("editor.update_extension"));
 
+    dialog.setLocationRelativeTo(editor);
     dialog.setVisible(true);
   }