View | Details | Raw Unified
Collapse All | Expand All

(-) a/interface_main.ml (-4 / +5 lines)
 Lines 1677-1693   let handle_abbrev_backspace (iface : int Link Here  

        
(* handle entry of an arbitrary character in abbrev mode *)
(* handle entry of an arbitrary character in abbrev mode *)

        
let handle_abbrev_character (iface : interface_state_t) key =
let handle_abbrev_character (iface : interface_state_t) key =

            

              
   let ch = char_of_int key in

              
            

            

              
   let test_buffer = iface.abbrev_entry_buffer ^ (String.make 1 ch) in

              
            

            

              
   (* search through the list of commands for the first one that matches

              
            

            

              
    * iface.abbrev_entry_buffer *)

              
            

        
   try
   try

            

              
              
      let ch = char_of_int key in

            

            

              
              
      let test_buffer = iface.abbrev_entry_buffer ^ (String.make 1 ch) in

            

            

              
              
      (* search through the list of commands for the first one that matches

            

            

              
              
       * iface.abbrev_entry_buffer *)

            

        
      iface.matched_abbrev_entry_list <- match_abbrev_buffer iface test_buffer;
      iface.matched_abbrev_entry_list <- match_abbrev_buffer iface test_buffer;

        
      iface.abbrev_entry_buffer <- test_buffer;
      iface.abbrev_entry_buffer <- test_buffer;

        
      draw_help iface;
      draw_help iface;

        
      draw_update_entry iface
      draw_update_entry iface

        
   with
   with

        
      Not_found -> let err = beep () in ()
      Not_found -> let err = beep () in ()

            

              
              
   |  Invalid_argument "char_of_int" -> ()

            

        

        

        
(* enter an abbrev entry *)
(* enter an abbrev entry *)