|
From: | Torsten Lilge |
Subject: | [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement |
Date: | Thu, 18 Apr 2019 15:58:26 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0 |
Follow-up Comment #4, bug #56158 (project octave): I have pushed the two changesets http://hg.savannah.gnu.org/hgweb/octave/rev/1bdfd2b523c9 http://hg.savannah.gnu.org/hgweb/octave/rev/1e70f1fe7c0e The first one provides a tab icon for modified files instead of the "*". The icon does not disappear even when the tab title is truncated. The second changeset should ensure the use of scroll buttons in case of many tabs. From the docs it seems that this is not the default on all styles. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?56158> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |