fix strange alignment of document label for short file names
Description
Description
Details
Details
- Committed
brauch Jul 28 2017, 3:41 PM - Parents
- R33:e1d2989eef90: Fix elision of document title with tabbar disabled
- Branches
- Unknown
- Tags
brauch | Jul 28 2017, 3:41 PM |