199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
|
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
|
-
+
|
}
unset -nocomplain \
::eskil($top,leftFileBak) ::eskil($top,rightFileBak) \
::eskil($top,leftFileDiff) ::eskil($top,rightFileDiff)
}
# GUI for plugin selection
proc EditPrefPlugins {top} {
proc EditPrefPlugins {top {dirdiff 0}} {
set w $top.prefplugin
# Create window
destroy $w
toplevel $w -padx 3 -pady 3
ttk::frame $w._bg
place $w._bg -x 0 -y 0 -relwidth 1.0 -relheight 1.0 -border outside
|
224
225
226
227
228
229
230
231
232
233
234
235
236
237
|
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
|
+
|
set ::eskil($top,plugininfo) ""
}
set ::eskil($top,edit,pluginname) $::eskil($top,pluginname)
set ::eskil($top,edit,plugininfo) $::eskil($top,plugininfo)
set t 0
foreach {plugin info} $plugins {
set descr [dict get $info descr]
if {$dirdiff && ![dict get $info dir]} continue
ttk::radiobutton $w.rb$t -variable ::eskil($top,edit,pluginname) -value $plugin -text $plugin
ttk::label $w.l$t -text $descr -anchor "w"
grid $w.rb$t $w.l$t -sticky we -padx 3 -pady 3
incr t
}
ttk::radiobutton $w.rb$t -variable ::eskil($top,edit,pluginname) -value "" -text "No Plugin"
grid $w.rb$t -sticky we -padx 3 -pady 3
|