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

[Ceral Paquet]

URL:
  <http://savannah.gnu.org/bugs/?53902>

                 Summary: Reduce whitespace in Editor (undocked)
                 Project: GNU Octave
            Submitted by: octavebugs
            Submitted on: Mon 14 May 2018 07:16:55 PM UTC
                Category: None
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: None
                  Status: None
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                 Release: 4.4.0
        Operating System: GNU/Linux

    _______________________________________________________

Details:

Since recompiling with Qt5 (instead of Qt4) it seems the amount of whitespace
has increased in the Editor. I was wondering if someone on the GUI side could
make a "compact" option.

On my little laptop, the menus and title bars take up 40% of the useable
space. This is already with small icons. They seem to be very generously
surrounded with extra pixels and in fact, for me, the dock widget titlebar
could be toggled off completely.

See pic.



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Mon 14 May 2018 07:16:55 PM UTC  Name: editor_undocked.png  Size: 71KiB 
 By: octavebugs

<http://savannah.gnu.org/bugs/download.php?file_id=44157>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?53902>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/