widgets: scale the dockwidget separator
commit7e253b6bddad39da25f1f9af7f8a2955fe4b1d4b
authorDavid Aguilar <davvid@gmail.com>
Sun, 27 Sep 2015 18:39:22 +0000 (27 11:39 -0700)
committerDavid Aguilar <davvid@gmail.com>
Sun, 27 Sep 2015 18:39:22 +0000 (27 11:39 -0700)
tree51f77a73ec775fad843215836b7ea28ab7782190
parent014a3deff24e782d9f9cacb13686e5c919eecb3c
widgets: scale the dockwidget separator

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