2630
2631
2632
2633
2634
2635
2636
2637
2638
2639
2640
2641
2642
2643
|
2630
2631
2632
2633
2634
2635
2636
2637
2638
2639
2640
2641
2642
2643
2644
2645
|
+
+
|
$top.m add cascade -label "Options" -underline 0 -menu $top.m.mo
menu $top.m.mo
$top.m.mo add cascade -label "Font" -underline 0 -menu $top.m.mo.f
$top.m.mo add cascade -label "Ignore" -underline 0 -menu $top.m.mo.i
$top.m.mo add command -label "Preprocess..." -underline 0 \
-command [list EditPrefRegsub $top]
$top.m.mo add command -label "Plugins..." -underline 1 \
-command [list EditPrefPlugins $top]
$top.m.mo add cascade -label "Parse" -underline 1 -menu $top.m.mo.p
$top.m.mo add command -label "Colours..." -underline 0 -command makePrefWin
$top.m.mo add cascade -label "Context" -underline 1 -menu $top.m.mo.c
$top.m.mo add separator
$top.m.mo add checkbutton -label "Toolbar" -variable ::Pref(toolbar)
$top.m.mo add separator
$top.m.mo add command -label "Save default" \
|
3717
3718
3719
3720
3721
3722
3723
3724
3725
3726
3727
3728
3729
3730
|
3719
3720
3721
3722
3723
3724
3725
3726
3727
3728
3729
3730
3731
3732
3733
3734
|
+
+
|
set pinterp [createPluginInterp $plugin $plugininfo]
if {$pinterp eq ""} {
puts "Bad plugin: $plugin"
printPlugins
exit
}
set opts(plugin) $pinterp
set opts(pluginname) $plugin
set opts(plugininfo) $plugininfo
}
# Do we start in clip diff mode?
if {$doclip} {
return [makeClipDiffWin]
}
|