search

andreikop / enki

A text editor for programmers
http://enki-editor.org
GNU General Public License v2.0
161 stars 39 forks source link

After updating to Python3/Qt5 I see more unnecessary padding in GUI #388

Closed vi closed 8 years ago

vi commented 8 years ago

Wasted space marked in red:

screenshot

It may be system-wide Qt style issue.

How do I make content in Enki more tightly packed, at least as in old Qt4-based Enki?

andreikop commented 8 years ago

I've removed some of the padding

vi commented 8 years ago

Looks better now. "Open files" pane is OK, but lower "Navigator" panel (not displayed in screenshot) has padding above (between "Open files" and "Navigator"), which is now more noticable compared to "Open files"'s little (even smaller than Qt4's) header.

Old: e1 New: e2

andreikop commented 8 years ago

Actually the padding is smaller. newpaddings paddings Red rectangle size is 13 px against 15 px.

vi commented 8 years ago

Strange, visually it looks bigger. It can be further decresed to match "Opened Files" title then.

andreikop commented 8 years ago

There is a spacer which is used to resize the docks. If spacer is too small, it is difficult to grab it, especially on a laptop touchpad

vi commented 8 years ago

Those grabbing dots look little and glued to the above pane, with extra space below the grab area. Actually most of the gray area can't be used for sizing, only for moving the pane.

That's how it would look according to me:

e2

Dots line moved 1 pixel down (extending the grabbable area), gray area (that can't be used for moving anyway) shrank.