print('esc; exiting search mode')

--?     print('esc; exiting search mode')

    print('return; exiting search mode')

--?     print('return; exiting search mode')

    print('backspace; search term is now', Display_settings.search_term)

--?     print('backspace; search term is now', Display_settings.search_term)

    print('paste; search term is now', Display_settings.search_term)

--?     print('paste; search term is now', Display_settings.search_term)