Parent Directory | Revision Log | Patch
revision 1.2 by spiralvoice, Mon Oct 31 18:34:01 2005 UTC | revision 1.3 by spiralvoice, Sat Nov 12 11:16:36 2005 UTC | |
---|---|---|
# | Line 188 let console_box gui = | Line 188 let console_box gui = |
188 | in | in |
189 | ignore (entry#event#connect#key_press ~callback: | ignore (entry#event#connect#key_press ~callback: |
190 | (fun ev -> | (fun ev -> |
191 | GdkEvent.Key.keyval ev = GdkKeysyms._Return && | (GdkEvent.Key.keyval ev = GdkKeysyms._Return || |
192 | GdkEvent.Key.keyval ev = GdkKeysyms._KP_Enter || | |
193 | GdkEvent.Key.keyval ev = GdkKeysyms._ISO_Enter || | |
194 | GdkEvent.Key.keyval ev = GdkKeysyms._3270_Enter) && | |
195 | (on_entry_return entry (); | (on_entry_return entry (); |
196 | true | true |
197 | ) | ) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |