[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #53902] Reduce whitespace in Editor (undocked)
|
From: |
Rik |
|
Subject: |
[Octave-bug-tracker] [bug #53902] Reduce whitespace in Editor (undocked) |
|
Date: |
Sun, 29 Sep 2019 20:59:57 -0400 (EDT) |
|
User-agent: |
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:56.0) Gecko/20100101 Firefox/56.0 |
Follow-up Comment #13, bug #53902 (project octave):
@Torsten: The additional changesets do make the toolbar even narrower which is
nice. Is it possible to reduce the height of the menubar (File, Edit, View,
...)? That still feels too large. If not, then I think we can close this
report as enough work has been done on this issue to look passable.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?53902>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/