@@ -74,6 +74,7 @@ public class PreferencesFrame {
7474 JCheckBox zoomAutoBox ;
7575
7676 JCheckBox hidpiDisableBox ;
77+ JCheckBox syncSketchNameBox ;
7778
7879 JComboBox <String > displaySelectionBox ;
7980 JComboBox <String > languageSelectionBox ;
@@ -187,6 +188,10 @@ public PreferencesFrame(Base base) {
187188 hidpiDisableBox .setVisible (false ); // only for Windows
188189
189190
191+ // [ ] Keep sketch name and main tab name in sync
192+ syncSketchNameBox = new JCheckBox ("Keep sketch name and main tab in sync (experimental)" );
193+
194+
190195 // Colors
191196
192197 JLabel backgroundColorLabel = new JLabel (Language .text ("preferences.background_color" )+": " );
@@ -429,6 +434,7 @@ public void mouseExited(MouseEvent e) {
429434 .addComponent (mbLabel ))
430435 .addComponent (deletePreviousBox )
431436 .addComponent (checkUpdatesBox )
437+ .addComponent (syncSketchNameBox )
432438 .addGroup (layout .createSequentialGroup ()
433439 .addComponent (displayLabel )
434440 .addComponent (displaySelectionBox ,
@@ -489,6 +495,7 @@ public void mouseExited(MouseEvent e) {
489495 .addComponent (mbLabel ))
490496 .addComponent (deletePreviousBox )
491497 .addComponent (checkUpdatesBox )
498+ .addComponent (syncSketchNameBox )
492499 .addGroup (layout .createParallelGroup (GroupLayout .Alignment .CENTER )
493500 .addComponent (displayLabel )
494501 .addComponent (displaySelectionBox ))
@@ -666,6 +673,7 @@ protected void applyFrame() {
666673 if (Platform .isWindows ()) {
667674 Splash .setDisableHiDPI (hidpiDisableBox .isSelected ());
668675 }
676+ Preferences .setBoolean ("editor.sync_folder_and_filename" , syncSketchNameBox .isSelected ());
669677
670678 Preferences .setColor ("run.present.bgcolor" , presentColor .getBackground ());
671679
@@ -731,6 +739,7 @@ public void showFrame() {
731739 if (Platform .isWindows ()) {
732740 hidpiDisableBox .setSelected (Splash .getDisableHiDPI ());
733741 }
742+ syncSketchNameBox .setSelected (Preferences .getBoolean ("editor.sync_folder_and_filename" ));
734743
735744 presentColor .setBackground (Preferences .getColor ("run.present.bgcolor" ));
736745 presentColorHex .setText (Preferences .get ("run.present.bgcolor" ).substring (1 ));
0 commit comments