Code review comment for lp:~inash/gwibber/gwibber-425929

Does it really need to eventually be cast to an int? I removed that and let it just use a float and that worked for me.

Otherwise it looks correct to me -- please merge it.

=== modified file 'gwibber/gwui.py'
--- gwibber/gwui.py 2010-03-31 04:22:12 +0000
+++ gwibber/gwui.py 2010-05-10 14:34:08 +0000
@@ -237,7 +237,7 @@
     default_font = self.gc.get_string("/desktop/gnome/interface/font_name")
     font_name, font_size = default_font.rsplit(None, 1)
     self.web_settings.set_property("sans-serif-font-family", font_name)
- self.web_settings.set_property("default-font-size", int(font_size))
+ self.web_settings.set_property("default-font-size", float(font_size))

     if not resources.theme_exists(theme):
       theme = "default"