Fabian Homborg 711796ad13 Highlight options differently
This introduces a new variable, $fish_color_option, that can be used
to highlight options differently.

Options are tokens starting with `-`, but only up to (and including!)
the first `--`.

Fixes #8292.
2021-10-19 17:20:21 +02:00
..
2021-07-14 17:03:41 +02:00
2020-10-12 20:25:35 +02:00
2021-07-23 18:00:57 +02:00
2021-10-19 17:20:21 +02:00
2021-05-03 13:12:11 +02:00
2021-07-16 18:08:55 +02:00