X11 clipboard paste : support several formats

2019-03-18 10:44:07 +01:00
parent d24dd3e1a9
commit 583d646b26
4 changed files with 137 additions and 31 deletions
--- a/src/readline.c
+++ b/src/readline.c
@@ -488,6 +488,7 @@ bye:
      char * utf8_str = X11_clipboard;
      X11_clipboard = NULL;
      X11_clipboard_size = 0;
+      X11_clipboard_type = X11_CLIPBOARD_NONE;
  #else
  {
    // mac OS without X11