diff options
| author | Ismael Asensio <[email protected]> | 2019-11-07 01:34:19 +0100 |
|---|---|---|
| committer | Ismael Asensio <[email protected]> | 2019-11-07 01:51:25 +0100 |
| commit | 7949aee2d2528fb3adfc83d43799f1566e835466 (patch) | |
| tree | 20237fce2ee1eafa50f01d3f89f6d7709b8418a0 /src/global.h | |
| parent | 54bd267eb96de135d2bf4cb91c6a16dffa0b012a (diff) | |
Make the search box more compact
Summary:
Reduce the spacing between widgets and remove the content margins on the extended search options to have a more compact and space-saving layout.
Currently, some widgets are not even aligned.
This will be even more important if we remove the toggle button for 'More Options'.
CCBUG: 386754
Test Plan:
BEFORE: {F7681182}
AFTER: {F7681184}
Reviewers: elvisangelaccio, ngraham, #dolphin, #vdg
Reviewed By: elvisangelaccio, ngraham, #dolphin, #vdg
Subscribers: kfm-devel
Tags: #dolphin
Differential Revision: https://phabricator.kde.org/D25028
Diffstat (limited to 'src/global.h')
| -rw-r--r-- | src/global.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/global.h b/src/global.h index fb58036af..d1a3f4f52 100644 --- a/src/global.h +++ b/src/global.h @@ -52,6 +52,7 @@ namespace Dolphin { * TODO: Move this somewhere global to all KDE apps, not just Dolphin */ const int VERTICAL_SPACER_HEIGHT = 18; + const int LAYOUT_SPACING_SMALL = 2; } #endif //GLOBAL_H |