Johannes Altmanninger
64bff1a51c
history pager: delete selected history entry with Shift-Delete
...
After accidentally running a command that includes a pasted password, I want
to delete command from history. Today we need to recall or type (part of)
that command and type "history delete". Let's maybe add a shortcut to do
this from the history pager.
The current shortcut is Shift+Delete. I don't think that's very discoverable,
maybe we should use Delete instead (but only if the cursor is at the end of
the commandline, otherwise delete a char).
Closes #9454
(cherry picked from commit 052823c120 )
2023-10-17 17:25:11 +02:00
..
2022-01-19 22:56:41 +08:00
2023-01-21 16:53:59 +01:00
2022-12-21 16:24:00 +01:00
2022-09-24 10:56:43 +02:00
2023-01-19 11:06:51 +01:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00
2023-10-17 17:25:11 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2022-09-30 18:50:14 +02:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2022-12-01 18:00:06 +01:00
2022-03-12 00:21:13 +08:00
2023-10-08 17:15:20 +02:00
2023-10-01 10:37:28 +02:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-10-19 20:10:26 +02:00
2022-10-19 20:10:26 +02:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2023-10-01 09:44:32 +02:00
2022-10-19 20:06:35 +02:00
2022-10-21 20:22:20 +02:00
2022-07-18 20:52:16 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2023-10-08 17:15:17 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2020-02-19 17:00:35 -08:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2023-10-01 09:44:32 +02:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-10-23 13:36:56 +02:00
2022-09-24 10:56:43 +02:00
2023-01-09 20:33:37 +01:00
2022-03-12 00:21:12 +08:00
2022-09-24 10:56:43 +02:00
2022-10-19 20:10:26 +02:00
2022-09-17 21:31:06 +08:00
2023-10-06 18:49:55 +02:00
2022-09-24 10:56:43 +02:00
2022-03-12 00:21:13 +08:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2022-03-12 00:21:13 +08:00
2022-12-30 14:31:32 +01:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2023-10-06 18:35:10 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-12-01 18:00:06 +01:00
2023-10-08 21:57:08 +02:00
2022-03-12 00:21:13 +08:00
2022-10-26 12:15:02 -05:00
2022-05-14 10:05:02 +02:00
2022-03-12 22:22:02 +08:00
2020-02-19 17:00:35 -08:00
2022-03-13 11:47:33 +01:00
2022-03-12 22:22:02 +08:00
2022-03-12 22:22:02 +08:00
2023-01-08 12:44:02 +01:00
2022-09-24 10:56:43 +02:00
2022-03-12 22:22:02 +08:00
2022-03-12 22:22:02 +08:00
2022-10-06 21:30:13 +02:00
2020-02-19 17:00:35 -08:00
2022-09-24 10:56:43 +02:00
2022-05-14 10:05:02 +02:00
2022-03-12 22:22:02 +08:00
2020-02-19 17:00:35 -08:00
2022-03-12 22:22:02 +08:00
2022-10-06 21:30:13 +02:00
2022-03-12 00:21:13 +08:00
2023-01-09 20:33:37 +01:00
2022-07-16 12:40:36 -07:00
2022-12-01 17:56:57 +01:00
2022-05-28 17:44:13 -07:00
2022-09-24 10:56:43 +02:00
2022-09-30 18:50:14 +02:00
2022-09-17 21:31:06 +08:00
2022-03-12 00:21:12 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00