293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
|
set w $top.merge
if {![winfo exists $w]} {
toplevel $w
} else {
destroy {*}[winfo children $w]
}
wm title $w "Merge result"
menu $w.m
$w configure -menu $w.m
$w.m add cascade -label "File" -underline 0 -menu $w.m.mf
menu $w.m.mf
$w.m.mf add command -label "Save" -underline 0 -command "saveMerge $top"
$w.m.mf add separator
|
|
|
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
|
set w $top.merge
if {![winfo exists $w]} {
toplevel $w
} else {
destroy {*}[winfo children $w]
}
wm title $w "Merge result: [TitleTail $top]"
menu $w.m
$w configure -menu $w.m
$w.m add cascade -label "File" -underline 0 -menu $w.m.mf
menu $w.m.mf
$w.m.mf add command -label "Save" -underline 0 -command "saveMerge $top"
$w.m.mf add separator
|