* src/plugins/FilterEditor.py (MyInteger): Fix type conversions.

svn: r2097
2003-09-07 02:55:41 +00:00
parent 7d411700f7
commit 445266eacc
2 changed files with 5 additions and 2 deletions
--- a/src/plugins/FilterEditor.py
+++ b/src/plugins/FilterEditor.py
@@ -91,10 +91,10 @@ class MyInteger(gtk.SpinButton):
        self.show()

    def get_text(self):
-        return str(self.get_value())
+        return str(self.get_value_as_int())

    def set_text(self,val):
-        self.set_value(val)
+        self.set_value(int(val))

 #-------------------------------------------------------------------------
 #