3703
3704
3705
3706
3707
3708
3709
3710
3711
3712
3713
3714
3715
3716
|
3703
3704
3705
3706
3707
3708
3709
3710
3711
3712
3713
3714
3715
3716
3717
3718
3719
3720
3721
3722
|
+
+
+
+
+
+
|
if {[catch {set ch [open $rcfile "w"]} err]} {
tk_messageBox -icon error -title "File error" -message \
"Error when trying to save preferences:\n$err"
return
}
foreach i [array names Pref] {
# Skip unchanged options.
if {[info exists ::DefaultPref($i)]} {
if {$::DefaultPref($i) eq $Pref($i)} {
continue
}
}
puts $ch [list set Pref($i) $Pref($i)]
}
close $ch
tk_messageBox -icon info -title "Saved" -message \
"Preferences saved to:\n[file nativename $rcfile]"
}
|
3737
3738
3739
3740
3741
3742
3743
3744
3745
3746
3747
3748
3749
3750
3751
3752
3753
3754
3755
3756
3757
3758
3759
3760
3761
3762
3763
3764
3765
3766
3767
3768
3769
3770
3771
3772
|
3743
3744
3745
3746
3747
3748
3749
3750
3751
3752
3753
3754
3755
3756
3757
3758
3759
3760
3761
3762
3763
3764
3765
3766
3767
3768
3769
3770
3771
3772
3773
3774
3775
3776
3777
3778
3779
3780
|
-
+
-
+
+
+
|
set Pref(context) 0
set Pref(marklast) 1
set Pref(linewidth) 80
set Pref(lines) 60
set Pref(editor) ""
set Pref(regsub) {}
set Pref(toolbar) 0
set Pref(wideMap) 0
set Pref(wideMap) 0 ;# Not settable in GUI yet
# Print options
set Pref(grayLevel1) 0.6
set Pref(grayLevel2) 0.8
set Pref(wideLines) 0
set Pref(printHeaderSize) 10
set Pref(printCharsPerLine) 80
set Pref(printPaper) a4
set Pref(printColorChange) "1.0 0.6 0.6"
set Pref(printColorNew1) "0.6 1.0 0.6"
set Pref(printColorNew2) "0.6 0.6 1.0"
# Directory diff options
set Pref(dir,comparelevel) 1
set Pref(dir,ignorekey) 0
set Pref(dir,incfiles) ""
set Pref(dir,exfiles) "*.o"
set Pref(dir,incdirs) ""
set Pref(dir,exdirs) "RCS CVS .git .svn .hg"
set Pref(dir,onlyrev) 0
# Store default preferences, to filter saved preferences
array set ::DefaultPref [array get Pref]
# Backward compatibilty option
set Pref(onlydiffs) -1
set ::diff(filter) ""
if {![info exists ::eskil_testsuite] && [file exists "~/.eskilrc"]} {
|