|
From: | Mattias Engdegård |
Subject: | Re: Bug? |
Date: | Sat, 6 May 2023 12:44:57 +0200 |
4 maj 2023 kl. 22.57 skrev Shynur Xie <one.last.kiss@outlook.com>:I finally chose the new face that you defined, because Maybe we should make the `highlight` face better at highlighting then? On white background it seems to do alright. Comparison, using `highlight`: It indeed seems that `highlight` on dark background is a bit too timid. What about, say, #006090 instead of darkolivegreen? |
[Prev in Thread] | Current Thread | [Next in Thread] |