|
From: | H W Tovetjärn |
Subject: | [Octave-bug-tracker] [bug #46706] Add option to customize colour of the editor line number gutter |
Date: | Thu, 17 Dec 2015 17:37:58 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Firefox/38.0 Iceweasel/38.4.0 |
URL: <http://savannah.gnu.org/bugs/?46706> Summary: Add option to customize colour of the editor line number gutter Project: GNU Octave Submitted by: totte Submitted on: Thu 17 Dec 2015 05:37:57 PM GMT Category: GUI Severity: 3 - Normal Priority: 5 - Normal Item Group: Feature Request Status: None Assigned to: None Originator Name: Originator Email: Open/Closed: Open Discussion Lock: Any Release: 4.0.0 Operating System: GNU/Linux _______________________________________________________ Details: There is currently no apparent way to customize the colour of the gutter. When using an editor style with a dark background and bright text the gutter has a bright background and dark text which is an eyesore. _______________________________________________________ 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] |