Johannes Altmanninger
f637fb31b5
highlight: underline prefixes of valid paths only if at cursor
...
As the user is typing an argument, fish continually checks if the input is
the prefix of a valid file path. If yes, the input is underlined.
The same prefix-logic is used for all tokens on the command line, even for
"finished" tokens. This means we highlight any token that happens to be
a prefix of a valid file path. We actually want this to only apply to the
token that the user is currently typing.
Let's use the prefix-logic only for tokens adjacent to the cursor. This should
better match user expectations (and reduce IO traffic). I don't think this is
the perfect criteria but I don't know how else we can determine if a token is
"unfinished".
2022-10-26 16:12:43 +02:00
..
2022-10-20 11:21:05 -05:00
2022-09-26 17:17:17 +02:00
2020-07-04 14:58:02 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-08-20 23:55:18 -07:00
2022-10-08 11:56:38 -05:00
2022-08-20 23:55:18 -07:00
2022-08-27 11:41:29 +02:00
2022-08-21 15:02:19 -07:00
2022-10-09 15:24:01 +02:00
2022-10-02 18:48:16 -07:00
2022-10-08 11:56:38 -05:00
2022-09-23 12:09:26 -05:00
2021-10-01 03:39:43 -07:00
2022-08-20 23:55:18 -07:00
2022-08-27 20:33:39 +02:00
2022-08-22 14:11:52 -07:00
2022-09-20 11:58:37 -07:00
2022-08-20 23:55:18 -07:00
2022-10-08 11:56:38 -05:00
2022-10-15 15:15:04 -05:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-10-08 11:56:38 -05:00
2022-08-20 23:55:18 -07:00
2022-10-25 13:40:21 -05:00
2022-09-20 11:58:37 -07:00
2022-09-13 06:56:52 -07:00
2022-09-12 18:34:19 -07:00
2022-09-20 11:58:37 -07:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-08-21 15:02:19 -07:00
2022-09-20 11:58:37 -07:00
2022-09-25 13:27:01 +02:00
2022-09-16 18:53:05 -05:00
2022-10-26 16:12:43 +02:00
2021-09-21 18:33:14 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-10-02 18:48:16 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2022-10-26 16:12:43 +02:00
2022-10-26 16:12:43 +02:00
2022-10-26 16:09:02 +02:00
2022-08-21 15:02:19 -07:00
2022-10-16 15:38:11 -05:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-09-20 11:58:37 -07:00
2022-10-16 15:38:11 -05:00
2022-10-16 15:38:11 -05:00
2022-09-20 11:58:37 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2021-04-21 16:39:29 -07:00
2022-06-19 15:15:17 -07:00
2022-10-26 16:09:02 +02:00
2021-03-28 15:31:25 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-09-20 11:58:37 -07:00
2022-10-26 16:12:43 +02:00
2022-10-25 13:40:21 -05:00
2022-08-21 15:02:19 -07:00
2022-10-08 11:56:38 -05:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-04-09 10:10:44 -07:00
2022-10-24 22:06:30 -05:00
2022-10-25 13:40:21 -05:00
2022-09-14 18:18:08 +02:00
2022-08-20 23:55:18 -07:00
2022-10-08 11:56:38 -05:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-10-08 11:56:38 -05:00
2022-09-25 12:33:40 -05:00
2022-08-21 15:02:19 -07:00
2022-09-20 14:41:22 -07:00
2022-10-26 16:11:00 +02:00
2022-09-16 19:21:21 -05:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-10-08 11:56:38 -05:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2021-11-08 12:21:11 -08:00
2022-08-21 15:02:19 -07:00
2022-08-21 15:02:19 -07:00
2022-08-30 23:56:33 -07:00
2022-08-20 23:55:18 -07:00
2022-09-20 14:41:22 -07:00
2022-09-09 18:52:45 +02:00
2022-10-08 11:56:38 -05:00
2022-09-20 11:58:37 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-09-20 11:58:37 -07:00
2022-09-20 11:58:37 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-10-02 18:56:46 -07:00
2022-08-20 23:55:18 -07:00
2022-10-08 17:32:12 +02:00
2022-10-08 17:31:47 +02:00