def edit_loop
      while @working
        @edit_window.sync_window(edit_buffer, edit_posn)
        @edit_window.sync_cursor(edit_posn)
        process_keystroke(MiniTerm.get_mapped_char)
      end

      edit_buffer
    end
def edit_loop
      while @working
        @edit_window.sync_window(edit_buffer, edit_posn)
        @edit_window.sync_cursor(edit_posn)
        process_keystroke(MiniTerm.get_mapped_char)
      end

      edit_buffer
    end
The line editor processing loop.