63
63
def textToggle(cmd1,sleep1,cmd2,sleep2)
64
64
sleep_list = [sleep2, sleep1]
65
TkAfter.new(proc{sleep = sleep_list.shift; sleep_list.push(sleep); sleep},
65
TkAfter.new(proc{sleep = sleep_list.shift; sleep_list.push(sleep); sleep},
66
66
-1, cmd1, cmd2).start(sleep1)
70
70
if defined?($search_demo) && $search_demo
103
103
TkFrame.new(base_frame) {|f|
104
TkLabel.new(f, 'text'=>'File name:',
104
TkLabel.new(f, 'text'=>'File name:',
105
105
'width'=>13, 'anchor'=>'w').pack('side'=>'left')
106
106
$search_fileName = TkVariable.new
107
TkEntry.new(f, 'width'=>40,
107
TkEntry.new(f, 'width'=>40,
108
108
'textvariable'=>$search_fileName) {
109
109
pack('side'=>'left')
110
110
bind('Return', proc{textLoadFile($search_text, $search_fileName.value)
111
111
$search_string_entry.focus})
114
TkButton.new(f, 'text'=>'Load File',
115
'command'=>proc{textLoadFile($search_text,
114
TkButton.new(f, 'text'=>'Load File',
115
'command'=>proc{textLoadFile($search_text,
116
116
$search_fileName.value)})\
117
117
.pack('side'=>'left', 'pady'=>5, 'padx'=>10)
118
118
}.pack('side'=>'top', 'fill'=>'x')
120
120
TkFrame.new(base_frame) {|f|
121
TkLabel.new(f, 'text'=>'Search string:',
121
TkLabel.new(f, 'text'=>'Search string:',
122
122
'width'=>13, 'anchor'=>'w').pack('side'=>'left')
123
123
$search_searchString = TkVariable.new
124
$search_string_entry = TkEntry.new(f, 'width'=>40,
124
$search_string_entry = TkEntry.new(f, 'width'=>40,
125
125
'textvariable'=>$search_searchString) {
126
126
pack('side'=>'left')
127
bind('Return', proc{textSearch($search_text, $search_searchString.value,
127
bind('Return', proc{textSearch($search_text, $search_searchString.value,
130
TkButton.new(f, 'text'=>'Highlight',
131
'command'=>proc{textSearch($search_text,
132
$search_searchString.value,
130
TkButton.new(f, 'text'=>'Highlight',
131
'command'=>proc{textSearch($search_text,
132
$search_searchString.value,
134
134
pack('side'=>'left', 'pady'=>5, 'padx'=>10)
149
149
if TkWinfo.depth($search_demo) > 1
151
$search_Tag.configure('background'=>'#ce5555',
151
$search_Tag.configure('background'=>'#ce5555',
152
152
'foreground'=>'white')
156
156
$search_Tag.configure('background'=>'', 'foreground'=>'')
161
$search_Tag.configure('background'=>'black',
161
$search_Tag.configure('background'=>'black',
162
162
'foreground'=>'white')
166
166
$search_Tag.configure('background'=>'', 'foreground'=>'')