Display_settings.search_term = Display_settings.search_term..App.getClipboardText()

    Display_settings.search_term = Display_settings.search_term..App.get_clipboard()

    Display_settings.search_all_query = Display_settings.search_all_query..App.getClipboardText()

    Display_settings.search_all_query = Display_settings.search_all_query..App.get_clipboard()

  Current_error_time = App.getTime()

  Current_error_time = App.get_time()

    Display_settings.palette_command = Display_settings.palette_command..App.getClipboardText()

    Display_settings.palette_command = Display_settings.palette_command..App.get_clipboard()

  App.setClipboardText(pane.id)

  App.set_clipboard(pane.id)