@@ -666,21 +666,21 @@ window.openSettings = () => {
666
666
667
667
window . writeSettingsFile = ( ) => {
668
668
window . settings = {
669
- shell : document . getElementById ( "settingsEditor-shell" ) . value || window . settings . shell ,
670
- cwd : document . getElementById ( "settingsEditor-cwd" ) . value || window . settings . cwd ,
671
- env : document . getElementById ( "settingsEditor-env" ) . value || window . settings . env ,
672
- keyboard : document . getElementById ( "settingsEditor-keyboard" ) . value || window . settings . keyboard ,
673
- theme : document . getElementById ( "settingsEditor-theme" ) . value || window . settings . theme ,
674
- audio : Boolean ( document . getElementById ( "settingsEditor-audio" ) . value ) || window . settings . audio ,
675
- extraAudio : Boolean ( document . getElementById ( "settingsEditor-extraAudio" ) . value ) || window . settings . extraAudio ,
676
- pingAddr : document . getElementById ( "settingsEditor-pingAddr" ) . value || window . settings . pingAddr ,
677
- port : Number ( document . getElementById ( "settingsEditor-port" ) . value ) || window . settings . port ,
678
- monitor : Number ( document . getElementById ( "settingsEditor-monitor" ) . value ) || window . settings . monitor ,
679
- nointro : Boolean ( document . getElementById ( "settingsEditor-nointro" ) . value ) || window . settings . nointro ,
680
- iface : document . getElementById ( "settingsEditor-iface" ) . value || window . settings . iface ,
681
- allowWindowed : Boolean ( document . getElementById ( "settingsEditor-allowWindowed" ) . value ) || window . settings . allowWindowed ,
682
- excludeSelfFromToplist : Boolean ( document . getElementById ( "settingsEditor-excludeSelfFromToplist" ) . value ) || window . settings . excludeSelfFromToplist ,
683
- experimentalFeatures : Boolean ( document . getElementById ( "settingsEditor-experimentalFeatures" ) . value ) || window . settings . experimentalFeatures
669
+ shell : document . getElementById ( "settingsEditor-shell" ) . value ,
670
+ cwd : document . getElementById ( "settingsEditor-cwd" ) . value ,
671
+ env : document . getElementById ( "settingsEditor-env" ) . value ,
672
+ keyboard : document . getElementById ( "settingsEditor-keyboard" ) . value ,
673
+ theme : document . getElementById ( "settingsEditor-theme" ) . value ,
674
+ audio : ( document . getElementById ( "settingsEditor-audio" ) . value === "true" ) ,
675
+ extraAudio : ( document . getElementById ( "settingsEditor-extraAudio" ) . value === "true" ) ,
676
+ pingAddr : document . getElementById ( "settingsEditor-pingAddr" ) . value ,
677
+ port : Number ( document . getElementById ( "settingsEditor-port" ) . value ) ,
678
+ monitor : Number ( document . getElementById ( "settingsEditor-monitor" ) . value ) ,
679
+ nointro : ( document . getElementById ( "settingsEditor-nointro" ) . value === "true" ) ,
680
+ iface : document . getElementById ( "settingsEditor-iface" ) . value ,
681
+ allowWindowed : ( document . getElementById ( "settingsEditor-allowWindowed" ) . value === "true" ) ,
682
+ excludeSelfFromToplist : ( document . getElementById ( "settingsEditor-excludeSelfFromToplist" ) . value === "true" ) ,
683
+ experimentalFeatures : ( document . getElementById ( "settingsEditor-experimentalFeatures" ) . value === "true" )
684
684
} ;
685
685
686
686
Object . keys ( window . settings ) . forEach ( key => {
0 commit comments