diff options
author | Bence Ferdinandy <bence@ferdinandy.com> | 2022-12-12 09:25:02 +0100 |
---|---|---|
committer | Robin Jarry <robin@jarry.cc> | 2022-12-14 11:24:49 +0100 |
commit | d48522266319828f55baab6de39222de17157d6b (patch) | |
tree | 3f39a5fed09ec954ed27c2e063276c68a9a9c635 /.gitignore | |
parent | 9c56417892736af67d5c67d34b6d59458e27fe27 (diff) | |
download | aerc-d48522266319828f55baab6de39222de17157d6b.tar.gz |
style: make marked more important than search
Currently it's not possible to define combinations of marked and
searched. Since searched messages are just a convenience, while marked
message can be operated upon, make sure that when a message is both
marked and a search result the marked styleset is applied.
Signed-off-by: Bence Ferdinandy <bence@ferdinandy.com>
Acked-by: Moritz Poldrack <moritz@poldrack.dev>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions