[Top][All Lists]

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

[Octave-bug-tracker] [bug #53902] Reduce whitespace in Editor (undocked)

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:


  Message sent via Savannah

reply via email to

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