Patch by cscott to load the profile keys lazily.

Some style and pylint complaints fixes by me. Fix #5538
2008-01-09 15:35:23 +01:00
parent f00eada898
commit 2b0b83aa09
3 changed files with 29 additions and 21 deletions
@@ -108,7 +108,7 @@ class ActivityToolbar(gtk.Toolbar):

        separator = gtk.SeparatorToolItem()
        separator.props.draw = False
-        separator.set_expand(True);
+        separator.set_expand(True)
        self.insert(separator, -1)
        separator.show()