|
From: | Torsten |
Subject: | [Octave-bug-tracker] [bug #46706] Add option to customize colour of the editor line number gutter |
Date: | Mon, 28 Dec 2015 08:32:38 +0000 |
User-agent: | Mozilla/5.0 (Windows NT 6.1; WOW64; rv:29.0) Gecko/20100101 Firefox/29.0 |
Update of bug #46706 (project octave): Status: None => Ready For Test _______________________________________________________ Follow-up Comment #1: Thank you for the bug report. I have pushed http://hg.savannah.gnu.org/hgweb/octave/rev/31a12af0aaaf to default where the margin colors are updated depending on the current background color. Since the background color is lexer dependant, the margin color would have to be separately configurable for each lexer. I am wondering whether the colors of the highlighted current line and the long line marker should be automatically set in a similar way. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?46706> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |