diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-06-26 09:48:31 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-06-26 09:48:31 +0200 |
| commit | a182cda98ba3c840638dce7e1d51825455d7f5b9 (patch) | |
| tree | 8fa6508869b03611274c81cf373c9d882fce66a2 /TODO.txt | |
| parent | 715f322bcd79a47cf113bdf812cba90e6051a3d9 (diff) | |
Add Shift-Insert keybinding to paste primary clipboard
This is basically yet another workaround for a bug in Gtk since Gtk pastes the secondary clipboard by default. However, since every terminal emulator I have used in the past pastes the primary clipboard on Shift-Insert saneterm should too.
Diffstat (limited to 'TODO.txt')
| -rw-r--r-- | TODO.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/TODO.txt b/TODO.txt index 773ba9d..6b5aeb6 100644 --- a/TODO.txt +++ b/TODO.txt @@ -21,7 +21,6 @@ * ssh forces echo (see previous entry) * Make sure no input is lost in-between output points * For example, when text is typed before the prompt is redrawn -* <shift>Insert key binding (should paste primary) * When text is entered before output point, cursor_at_end doesn't work * Configure vertical scrollbar (and other stuff that may come up) via Gtk properties? * Allows changing this setting via dconf-editor / gsettings |