show shortcut help label only when tab bar is hidden
Description
Description
Details
Details
- Committed
brauch Jul 28 2017, 6:52 PM - Parents
- R33:1df969288f03: fix strange alignment of document label for short file names
- Branches
- Unknown
- Tags
brauch | Jul 28 2017, 6:52 PM |