|
| From: | Torsten Lilge |
| Subject: | [Octave-bug-tracker] [bug #53902] Reduce whitespace in Editor (undocked) |
| Date: | Thu, 3 Oct 2019 13:29:54 -0400 (EDT) |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/13.0 Safari/605.1.15 Epiphany/605.1.15 |
Follow-up Comment #15, bug #53902 (project octave):
I have pushed two more changesets for reducing the space in all dock widgets
and for reducing the vertical space required by a menu bar. It seems that the
effect on the menu bar depends on the style that is globally used by Octave.
On my window manager (GNOME) the menu bar already was quite compact without
any additional space.
Can the report be closed?
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?53902>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |