2929
3030package cc .arduino .view .preferences ;
3131
32+ import cc .arduino .Constants ;
3233import processing .app .Base ;
3334import processing .app .BaseNoGui ;
3435import processing .app .I18n ;
4647
4748public class Preferences extends javax .swing .JDialog {
4849
49- public static final String PROXY_TYPE_NONE = "none" ;
50- public static final String PROXY_TYPE_AUTO = "auto" ;
51- public static final String PROXY_TYPE_MANUAL = "manual" ;
52- public static final String PROXY_MANUAL_TYPE_HTTP = "HTTP" ;
53- public static final String PROXY_MANUAL_TYPE_SOCKS = "SOCKS" ;
54-
55- public static final String PREF_PROXY_MANUAL_TYPE = "proxy.manual.type" ;
56- public static final String PREF_PROXY_TYPE = "proxy.type" ;
57- public static final String PREF_PROXY_PAC_URL = "proxy.pac.url" ;
58- public static final String PREF_PROXY_MANUAL_HOSTNAME = "proxy.manual.hostname" ;
59- public static final String PREF_PROXY_MANUAL_PORT = "proxy.manual.port" ;
60- public static final String PREF_PROXY_MANUAL_USERNAME = "proxy.manual.username" ;
61- public static final String PREF_PROXY_MANUAL_PASSWORD = "proxy.manual.password" ;
62-
6350 private final Language [] languages ;
6451 private final Language [] missingLanguages ;
6552 private final WarningItem [] warningItems ;
@@ -460,11 +447,11 @@ public void mouseEntered(java.awt.event.MouseEvent evt) {
460447
461448 proxyTypeButtonGroup .add (noProxy );
462449 noProxy .setText (tr ("No proxy" ));
463- noProxy .setActionCommand (PROXY_TYPE_NONE );
450+ noProxy .setActionCommand (Constants . PROXY_TYPE_NONE );
464451
465452 proxyTypeButtonGroup .add (autoProxy );
466453 autoProxy .setText (tr ("Auto-detect proxy settings" ));
467- autoProxy .setActionCommand (PROXY_TYPE_AUTO );
454+ autoProxy .setActionCommand (Constants . PROXY_TYPE_AUTO );
468455 autoProxy .addItemListener (new java .awt .event .ItemListener () {
469456 public void itemStateChanged (java .awt .event .ItemEvent evt ) {
470457 autoProxyItemStateChanged (evt );
@@ -473,7 +460,7 @@ public void itemStateChanged(java.awt.event.ItemEvent evt) {
473460
474461 proxyTypeButtonGroup .add (manualProxy );
475462 manualProxy .setText (tr ("Manual proxy configuration" ));
476- manualProxy .setActionCommand (PROXY_TYPE_MANUAL );
463+ manualProxy .setActionCommand (Constants . PROXY_TYPE_MANUAL );
477464 manualProxy .addItemListener (new java .awt .event .ItemListener () {
478465 public void itemStateChanged (java .awt .event .ItemEvent evt ) {
479466 manualProxyItemStateChanged (evt );
@@ -489,11 +476,11 @@ public void itemStateChanged(java.awt.event.ItemEvent evt) {
489476
490477 manualProxyTypeButtonGroup .add (manualProxyHTTP );
491478 manualProxyHTTP .setText ("HTTP" );
492- manualProxyHTTP .setActionCommand (PROXY_MANUAL_TYPE_HTTP );
479+ manualProxyHTTP .setActionCommand (Constants . PROXY_MANUAL_TYPE_HTTP );
493480
494481 manualProxyTypeButtonGroup .add (manualProxySOCKS );
495482 manualProxySOCKS .setText ("SOCKS" );
496- manualProxySOCKS .setActionCommand (PROXY_MANUAL_TYPE_SOCKS );
483+ manualProxySOCKS .setActionCommand (Constants . PROXY_MANUAL_TYPE_SOCKS );
497484
498485 manualProxyHostNameLabel .setText (tr ("Host name:" ));
499486
@@ -803,13 +790,13 @@ private void savePreferencesData() {
803790
804791 PreferencesData .set ("boardsmanager.additional.urls" , additionalBoardsManagerField .getText ().replace ("\r \n " , "\n " ).replace ("\r " , "\n " ).replace ("\n " , "," ));
805792
806- PreferencesData .set (PREF_PROXY_TYPE , proxyTypeButtonGroup .getSelection ().getActionCommand ());
807- PreferencesData .set (PREF_PROXY_PAC_URL , autoProxyUsePAC .isSelected () ? autoProxyPACURL .getText () : "" );
808- PreferencesData .set (PREF_PROXY_MANUAL_TYPE , manualProxyTypeButtonGroup .getSelection ().getActionCommand ());
809- PreferencesData .set (PREF_PROXY_MANUAL_HOSTNAME , manualProxyHostName .getText ());
810- PreferencesData .set (PREF_PROXY_MANUAL_PORT , manualProxyPort .getText ());
811- PreferencesData .set (PREF_PROXY_MANUAL_USERNAME , manualProxyUsername .getText ());
812- PreferencesData .set (PREF_PROXY_MANUAL_PASSWORD , String .valueOf (manualProxyPassword .getPassword ()));
793+ PreferencesData .set (Constants . PREF_PROXY_TYPE , proxyTypeButtonGroup .getSelection ().getActionCommand ());
794+ PreferencesData .set (Constants . PREF_PROXY_PAC_URL , autoProxyUsePAC .isSelected () ? autoProxyPACURL .getText () : "" );
795+ PreferencesData .set (Constants . PREF_PROXY_MANUAL_TYPE , manualProxyTypeButtonGroup .getSelection ().getActionCommand ());
796+ PreferencesData .set (Constants . PREF_PROXY_MANUAL_HOSTNAME , manualProxyHostName .getText ());
797+ PreferencesData .set (Constants . PREF_PROXY_MANUAL_PORT , manualProxyPort .getText ());
798+ PreferencesData .set (Constants . PREF_PROXY_MANUAL_USERNAME , manualProxyUsername .getText ());
799+ PreferencesData .set (Constants . PREF_PROXY_MANUAL_PASSWORD , String .valueOf (manualProxyPassword .getPassword ()));
813800 }
814801
815802 private void showPrerefencesData () {
@@ -852,29 +839,29 @@ private void showPrerefencesData() {
852839 additionalBoardsManagerField .setText (PreferencesData .get ("boardsmanager.additional.urls" ));
853840
854841 disableAllProxyFields ();
855- String proxyType = PreferencesData .get (PREF_PROXY_TYPE , PROXY_TYPE_AUTO );
842+ String proxyType = PreferencesData .get (Constants . PREF_PROXY_TYPE , Constants . PROXY_TYPE_AUTO );
856843
857- if (PROXY_TYPE_NONE .equals (proxyType )) {
844+ if (Constants . PROXY_TYPE_NONE .equals (proxyType )) {
858845 noProxy .setSelected (true );
859- } else if (PROXY_TYPE_AUTO .equals (proxyType )) {
846+ } else if (Constants . PROXY_TYPE_AUTO .equals (proxyType )) {
860847 autoProxy .setSelected (true );
861848 autoProxyFieldsSetEnabled (true );
862- if (!PreferencesData .get (PREF_PROXY_PAC_URL , "" ).isEmpty ()) {
849+ if (!PreferencesData .get (Constants . PREF_PROXY_PAC_URL , "" ).isEmpty ()) {
863850 autoProxyUsePAC .setSelected (true );
864- autoProxyPACURL .setText (PreferencesData .get (PREF_PROXY_PAC_URL ));
851+ autoProxyPACURL .setText (PreferencesData .get (Constants . PREF_PROXY_PAC_URL ));
865852 }
866853 } else {
867854 manualProxy .setSelected (true );
868855 manualProxyFieldsSetEnabled (true );
869- manualProxyHostName .setText (PreferencesData .get (PREF_PROXY_MANUAL_HOSTNAME ));
870- manualProxyPort .setText (PreferencesData .get (PREF_PROXY_MANUAL_PORT ));
871- manualProxyUsername .setText (PreferencesData .get (PREF_PROXY_MANUAL_USERNAME ));
872- manualProxyPassword .setText (PreferencesData .get (PREF_PROXY_MANUAL_PASSWORD ));
856+ manualProxyHostName .setText (PreferencesData .get (Constants . PREF_PROXY_MANUAL_HOSTNAME ));
857+ manualProxyPort .setText (PreferencesData .get (Constants . PREF_PROXY_MANUAL_PORT ));
858+ manualProxyUsername .setText (PreferencesData .get (Constants . PREF_PROXY_MANUAL_USERNAME ));
859+ manualProxyPassword .setText (PreferencesData .get (Constants . PREF_PROXY_MANUAL_PASSWORD ));
873860 }
874861
875- String selectedManualProxyType = PreferencesData .get (PREF_PROXY_MANUAL_TYPE , PROXY_MANUAL_TYPE_HTTP );
876- manualProxyHTTP .setSelected (PROXY_MANUAL_TYPE_HTTP .equals (selectedManualProxyType ));
877- manualProxySOCKS .setSelected (PROXY_MANUAL_TYPE_SOCKS .equals (selectedManualProxyType ));
862+ String selectedManualProxyType = PreferencesData .get (Constants . PREF_PROXY_MANUAL_TYPE , Constants . PROXY_MANUAL_TYPE_HTTP );
863+ manualProxyHTTP .setSelected (Constants . PROXY_MANUAL_TYPE_HTTP .equals (selectedManualProxyType ));
864+ manualProxySOCKS .setSelected (Constants . PROXY_MANUAL_TYPE_SOCKS .equals (selectedManualProxyType ));
878865 }
879866
880867 private void manualProxyFieldsSetEnabled (boolean enabled ) {
0 commit comments