mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-15 12:29:26 +01:00
Preferences frame opens on top of active editor
This commit is contained in:
parent
2a0bc2bfca
commit
b4ff39144c
@ -675,6 +675,7 @@ public class Preferences {
|
|||||||
updateExtensionBox.setSelected(PreferencesData.get("editor.update_extension") == null ||
|
updateExtensionBox.setSelected(PreferencesData.get("editor.update_extension") == null ||
|
||||||
PreferencesData.getBoolean("editor.update_extension"));
|
PreferencesData.getBoolean("editor.update_extension"));
|
||||||
|
|
||||||
|
dialog.setLocationRelativeTo(editor);
|
||||||
dialog.setVisible(true);
|
dialog.setVisible(true);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user