|
| From: | Dmitry Gutov |
| Subject: | bug#33567: Syntactic fontification of diff hunks |
| Date: | Mon, 31 Dec 2018 02:07:50 +0300 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:64.0) Gecko/20100101 Thunderbird/64.0 |
On 30.12.2018 2:07, Juri Linkov wrote:
Or we could add more faces: lighter refine-added/removed for multi-line chunks, and darker refine-added/removed faces for one-line differences.
It could work. But I'm not the best judge of the result since the lighter ones work fine for me in all contexts.
Hopefully somebody else decides to join the discussion.
| [Prev in Thread] | Current Thread | [Next in Thread] |