|
Lines 1677-1693
let handle_abbrev_backspace (iface : int
Link Here
|
| 1677 |
|
1677 |
|
| 1678 |
(* handle entry of an arbitrary character in abbrev mode *) |
1678 |
(* handle entry of an arbitrary character in abbrev mode *) |
| 1679 |
let handle_abbrev_character (iface : interface_state_t) key = |
1679 |
let handle_abbrev_character (iface : interface_state_t) key = |
| 1680 |
let ch = char_of_int key in |
|
|
| 1681 |
let test_buffer = iface.abbrev_entry_buffer ^ (String.make 1 ch) in |
| 1682 |
(* search through the list of commands for the first one that matches |
| 1683 |
* iface.abbrev_entry_buffer *) |
| 1684 |
try |
1680 |
try |
|
|
1681 |
let ch = char_of_int key in |
| 1682 |
let test_buffer = iface.abbrev_entry_buffer ^ (String.make 1 ch) in |
| 1683 |
(* search through the list of commands for the first one that matches |
| 1684 |
* iface.abbrev_entry_buffer *) |
| 1685 |
iface.matched_abbrev_entry_list <- match_abbrev_buffer iface test_buffer; |
1685 |
iface.matched_abbrev_entry_list <- match_abbrev_buffer iface test_buffer; |
| 1686 |
iface.abbrev_entry_buffer <- test_buffer; |
1686 |
iface.abbrev_entry_buffer <- test_buffer; |
| 1687 |
draw_help iface; |
1687 |
draw_help iface; |
| 1688 |
draw_update_entry iface |
1688 |
draw_update_entry iface |
| 1689 |
with |
1689 |
with |
| 1690 |
Not_found -> let err = beep () in () |
1690 |
Not_found -> let err = beep () in () |
|
|
1691 |
| Invalid_argument "char_of_int" -> () |
| 1691 |
|
1692 |
|
| 1692 |
|
1693 |
|
| 1693 |
(* enter an abbrev entry *) |
1694 |
(* enter an abbrev entry *) |
