|
From: | Rik |
Subject: | [Octave-bug-tracker] [bug #36875] GUI: grab system colors for console |
Date: | Wed, 04 Sep 2013 15:58:32 +0000 |
User-agent: | Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:23.0) Gecko/20100101 Firefox/23.0 |
Update of bug #36875 (project octave): Open/Closed: Open => Closed _______________________________________________________ Follow-up Comment #2: The GUI preferences now has a method for setting the various colors used in the terminal. I think this is sufficient. If users want an exact match to their current theme they can set the colors appropriately. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?36875> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |