octave-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Torsten Lilge
Subject: [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement
Date: Fri, 19 Apr 2019 03:29:19 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0

Follow-up Comment #7, bug #56158 (project octave):

As for the tab scroll buttons, I just have realized that they were already
explicitly enabled even before my patch. Thus my patch won't bring them up on
Mac.

@Rik: To me, this overlap looks reasonable. It depends on the side where the
tabs are moved out of the visible area. In the first screenshot, it is the
right margin and in the second it is the left one.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?56158>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]