anchor.diff:                          | ( _, Some(Command.ReverseSearch)) -> ()
                           | (Some(search), _) ->
                               st <- { st with PreviousSearch = Some(search.Term); SearchState = None}
  -                            x.SetPrompt st.SpecifiedPrompt
  +                            st <- st |> SetPrompt st.SpecifiedPrompt
                           | _ -> ()
                      
                       else if (newInput.KeyChar <> (char) 0) then
  -                        x.HandleChar (newInput.KeyChar)
  -                 
  -            member private x.InitText (initial:string option) =
  -                let newText = match initial with | Some(null) | None -> "" | Some(initial) -> initial
  -                st <- { st with Cursor = newText.Length; Text = newText; RenderedText = render newText }
  -                x.Render ()
  -                x.ForceCursor st.Cursor
  -
  -            member private x.SetText newtext =
  -                Console.SetCursorPosition (0, st.HomeRow)
  -                x.InitText (newtext)
  -
  -            member private x.SetPrompt newprompt =
  -                st <- { st with ShownPrompt = newprompt }
  -                Console.SetCursorPosition (0, st.HomeRow)
  -                x.Render ()
  -                x.ForceCursor st.Cursor
  +                        st <- st |> HandleChar (newInput.KeyChar)
          
               member public x.Edit prompt initial =
                   st <-
  
positive.code: 
          type Completion = { Result : string list; Prefix : string }
          type AutoCompleteHandler = string -> int -> Completion
          type KeyHandler = unit -> unit
  
          type Command =
              | Done = 1
  
negative.code: 
                  /// Invoked when the user requests auto-completion using the tab character
                  AutoCompleteEvent : AutoCompleteHandler option
  
                  TabAtStartCompletes : bool
              }
  
          let makeGlobalState (name : string option) (histsize : int) =
  