The 'gtkstyleprefs.py' bug is now fixed as well as the problem regarding
changing text size. The 'gtkstyleprefs.py' was a paste-o error from code
in the 'gtkdimprefs.py' file, while the text bug was actually an error in
testing an instance variable instead of using the correct method
call in the TextBlock class in 'text.py'.
The fixes are at the repo and just an 'svn update' away.
Man once surrendering his reason, has no remaining guard against absurdities
the most monstrous, and like a ship without rudder, is the sport of every wind.