widgets: tighten icon and checkbox sizes
commit6b35ff381fc5416e9d9e673a50d30b660fb5dccf
authorDavid Aguilar <davvid@gmail.com>
Thu, 6 Jun 2019 05:34:10 +0000 (5 22:34 -0700)
committerDavid Aguilar <davvid@gmail.com>
Thu, 6 Jun 2019 05:34:10 +0000 (5 22:34 -0700)
treefda987ca84580200b79fa79025c865a50b0511cd
parentec60a7389c1255231954aed6d6ff4e3012e3f1e8
widgets: tighten icon and checkbox sizes

Signed-off-by: David Aguilar <davvid@gmail.com>
cola/widgets/defs.py