diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-06-29 09:07:31 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-06-29 09:07:31 -0700 |
| commit | abd4fb0991be4b9f4585886140f8e7a9d57f230f (patch) | |
| tree | d6be19dda5e7463cd837ea44a227c899b27173a2 /terms | |
| parent | 4de78729d7c3ce847e858da57965962ad99f76f5 (diff) | |
| download | subsurface-abd4fb0991be4b9f4585886140f8e7a9d57f230f.tar.gz | |
MainTab: make the tag widgets play nicer with large fonts
Doing this I noticed that the dive list doesn't like huge fonts, either.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'terms')
0 files changed, 0 insertions, 0 deletions