diff options
| author | U-DESKTOP-8OSNV7R\DrRobotto <andreas.heinisch@yahoo.de> | 2019-12-31 18:35:10 +0100 |
|---|---|---|
| committer | Tomaž Vajngerl <quikee@gmail.com> | 2020-01-01 19:20:55 +0100 |
| commit | 83955c30405b086fb9b753f2734827c63e951c91 (patch) | |
| tree | 0af62911fdc60241ac8488268606ed8932e19573 /m4 | |
| parent | fcf1e5b44429ce639cdd0f10def92a9d1822a0b1 (diff) | |
tdf#126506 - Adjusted height margin of the tab bar
Adjusted the height margin of the tab bar in the Basic IDE in order
to reflect the new look of the TabBar from tdf#124572.
Change-Id: I4fadec983405b05c7330f762f4ed2e12d3a40d27
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/86048
Reviewed-by: Tomaž Vajngerl <quikee@gmail.com>
Tested-by: Jenkins
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions