layout: style reading fix
authorAndrew Chadwick <andrewc-git@piffle.org>
Fri, 26 Apr 2013 15:13:54 +0000 (16:13 +0100)
committerAndrew Chadwick <andrewc-git@piffle.org>
Fri, 26 Apr 2013 15:15:29 +0000 (16:15 +0100)
commit1ff5046fb3c123e27bbdd896b1e6fb146dc99e27
treefd50b85e706132e23b4ee063a6064d73db62e358
parent4274fa3788e21c8444bdde27dab4e2e6ecef08fa
layout: style reading fix

Fix code for reading integer style properties under GTK3.

https://gna.org/bugs/?20638
gui/layout.py