[Octave-bug-tracker] [bug #56158] editor file name tabs need improvement

[Torsten Lilge]

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/