758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
|
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
|
+
+
|
docFlag -plugindump "Dump plugin source to stdout"
# These options affect Pref
addPrefOpt -pivot pivot optValidatePositive
docFlag -pivot "Pivot setting for diff algorithm (10)"
addPrefOpt -context context optValidateNatural
docFlag -context "Show only differences, with <n> lines of context"
addPrefOpt -printHeaderSize printHeaderSize optValidatePositive
addPrefOpt -printLineSpace printLineSpace optValidatePositive
addPrefOpt -printCharsPerLine printCharsPerLine optValidatePositive
addPrefOpt -printPaper printPaper optValidatePaper
addPrefOpt -printColorChange printColorChange optValidatePdfColor
addPrefOpt -printColorOld printColorOld optValidatePdfColor
addPrefOpt -printColorNew printColorNew optValidatePdfColor
addPrefOpt -printFont printFont
docFlag -printHeaderSize "Font size for page header (10)"
docFlag -printLineSpace "Line spacing (1.0)"
docFlag -printCharsPerLine "Adapt font size for this line length and wrap (80)"
docFlag -printPaper "Select paper size (a4)"
docFlag -printColorChange "Color for change (1.0 0.7 0.7)"
docFlag -printColorOld "Color for old text (0.7 1.0 0.7)"
docFlag -printColorNew "Color for new text (0.8 0.8 1.0)"
docFlag -printFont "Select font to use in PDF, afm or ttf. If <fontfile> is given as \"Courier\", PDF built in font is used"
addPrefMultOpt -excludedir dir,exdirs
|
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
|
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
|
+
|
set ::DefaultPref(preprocessn) {}
set ::DefaultPref(toolbar) 0
set ::DefaultPref(wideMap) 0 ;# Not settable in GUI yet
set ::DefaultPref(askOverwrite) 0 ;# Not settable in GUI yet
# Print options
set ::DefaultPref(printHeaderSize) 10
set ::DefaultPref(printLineSpace) 1.0
set ::DefaultPref(printCharsPerLine) 80
set ::DefaultPref(printPaper) a4
set ::DefaultPref(printColorChange) "1.0 0.7 0.7"
set ::DefaultPref(printColorNew1) "0.7 1.0 0.7"
set ::DefaultPref(printColorNew2) "0.8 0.8 1.0"
set ::DefaultPref(printFont) "" ;# Not settable in GUI yet (-printFont)
|