diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-23 22:44:09 +0100 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-23 22:45:30 +0100 |
| commit | e0e3b6360100288907a240888a80ee16fe013f8b (patch) | |
| tree | 1bc1b93ba115961215b6fb2cacaff087bb62ab15 /desktop-widgets | |
| parent | 3eabb80398a35472d62c05d6d91293bdc74c9c2a (diff) | |
| download | subsurface-e0e3b6360100288907a240888a80ee16fe013f8b.tar.gz | |
Mobile/filtering: make busy indicator smaller
Suggested-by: Jan Mulder <jlmulder@xs4all.nl>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions