randolf-scholz / autokey_julia_unicode Goto Github PK

Hey,

The weird behavior in gnome terminal (and many other terminals) can be explained by the fact that it's common for terminal emulator to bind Shift+Insert to paste from the selection buffer instead of the clipboard. I use alacritty as terminal emulator and fixed that by binding Shift+Insert to paste from clipboard by configuring the following:

key_bindings:
  - { key: Insert, mods: Shift, action: Paste   }

Likewise, I found this thread about doing the same for gnome terminal https://askubuntu.com/questions/397972/use-shiftinsert-to-paste-from-clipboard-in-gnome-terminal, and I'm sure there are ways to change this for most terminal emulators. Hope this is useful in some way.