Fix small bug in Editor.indent_prefs setter
authorMatthew Brush <matthewbrush@gmail.com>
Fri, 4 Mar 2011 04:56:14 +0000 (20:56 -0800)
committerColomban Wendling <ban@herbesfolles.org>
Fri, 4 Mar 2011 15:03:27 +0000 (16:03 +0100)
commit246d8c8678f52ba28c6e3e8afcecf76c68b83123
tree701fee2ff73a855bc01abd9bb25649b2fb186ae0
parent5f7e2bcdb05632d49401b16e182fd94552dc5bdb
Fix small bug in Editor.indent_prefs setter

Apparently you can't have a getter with a body and a setter without.
This seems strange, but for now use a private wrapper function to call
from the property setter.

Need to find out if there is a more correct solution.
geany.vapi