diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2017-07-31 21:43:19 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-07-31 16:55:12 -0700 |
| commit | 757985bf2a22bd7684fce93131e0a5b21cdd6add (patch) | |
| tree | a60eb1f8fc8b29f6c31b306bedb5b9b77562c833 /packaging | |
| parent | 855dd0d1aa4d29ce6c718e9536b3b02d23d4b4b0 (diff) | |
| download | subsurface-757985bf2a22bd7684fce93131e0a5b21cdd6add.tar.gz | |
Smaller buttons on map widget
... so they take up less space while still being clickable.
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Diffstat (limited to 'packaging')
0 files changed, 0 insertions, 0 deletions