[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 07:34:49 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0 |
Follow-up Comment #8, bug #56158 (project octave):
Changeset http://hg.savannah.gnu.org/hgweb/octave/rev/b38807a23fd2 provides a
new preference for the position of editor tabs (top, bottom, left, right).
_______________________________________________________
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, 2019/04/19
- [Octave-bug-tracker] [bug #56158] editor file name tabs need improvement,
Torsten Lilge <=