| commit | 26d84045a80abbb287133a7fff1d47d5a4e70ee9 | |
| author | David Aguilar <davvid@gmail.com> | |
| Thu, 31 Jan 2019 09:26:22 +0000 (31 01:26 -0800) | ||
| committer | David Aguilar <davvid@gmail.com> | |
| Sun, 13 Aug 2023 03:42:50 +0000 (12 20:42 -0700) | ||
| tree | a9a85cef11d9688f4285094ac02c6ae1332d4ab8 | treesnapshot (tar.gz zip) |
| parent | 2c5977c78e5937d8e0014dd617a961d8b018c90a | commitdiff |
themes: remove the dockwidget margin
Save valuable screen space (especially on smaller laptop displays) by
eliminating the margins used in the flat themes. This makes the margins
closer to the default theme.
The min-height setting was causing the dockwidget titles to get cut off
on macOS, and doesn't seem helpful or needed as things seem to render
better without it.
Signed-off-by: David Aguilar <davvid@gmail.com>
Save valuable screen space (especially on smaller laptop displays) by
eliminating the margins used in the flat themes. This makes the margins
closer to the default theme.
The min-height setting was causing the dockwidget titles to get cut off
on macOS, and doesn't seem helpful or needed as things seem to render
better without it.
Signed-off-by: David Aguilar <davvid@gmail.com>
| cola/themes.py | diffblobblamehistory |