[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/
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement, eflister, 2019/04/17
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement, Torsten Lilge, 2019/04/17
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement, eflister, 2019/04/17
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement, Torsten Lilge, 2019/04/17
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement, Torsten Lilge, 2019/04/18
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement, Rik, 2019/04/18
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement, Andrew Janke, 2019/04/18
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement,
Torsten Lilge <=
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement, Torsten Lilge, 2019/04/19