diff options
| author | Amol Godbole <[email protected]> | 2023-11-09 22:38:00 -0600 |
|---|---|---|
| committer | Méven Car <[email protected]> | 2023-11-12 08:54:57 +0000 |
| commit | d4e862fb4c34e0d4cb26410e582aff7112a0673b (patch) | |
| tree | 09b567c9bd027a410fde01a8515fc52159fdb12f /src/org.kde.dolphin.appdata.xml | |
| parent | 1f0b22fca733feba05c3d7f4fda449bc35db2e39 (diff) | |
DolphinTabWidget: Use tabBarAutoHide property
The tab bar was being hidden manually. Instead, set the tabBarAutoHide
property to true.
BUG: 476742
Diffstat (limited to 'src/org.kde.dolphin.appdata.xml')
0 files changed, 0 insertions, 0 deletions