subsurface/desktop-widgets
Dirk Hohndel 0c07b02974 Desktop: cleanups for the filter UI
Just trying to get the spacing to be a bit nicer. Hand editing XML...

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2019-01-28 07:24:10 -08:00
..
2015-10-30 10:36:49 -07:00
2019-01-02 09:45:01 -08:00
2017-04-29 13:32:55 -07:00
2017-11-30 23:14:46 -08:00
2018-12-14 01:05:18 +08:00
2018-10-11 16:22:27 -07:00
2018-10-11 16:22:27 -07:00
2019-01-26 07:10:29 -08:00
2018-12-14 01:05:18 +08:00
2018-12-14 01:05:18 +08:00
2018-12-14 01:05:18 +08:00
2017-04-29 13:32:55 -07:00
2015-10-30 10:36:49 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2018-12-14 01:05:18 +08:00
2018-12-14 01:05:18 +08:00
2017-11-30 23:14:46 -08:00
2015-10-30 10:36:49 -07:00
2017-04-29 13:32:55 -07:00
2017-03-06 06:40:00 -08:00
2017-11-30 23:14:46 -08:00