diff options
author | Gonzalo Odiard <godiard@gmail.com> | 2014-06-16 14:06:38 (GMT) |
---|---|---|
committer | Gonzalo Odiard <godiard@gmail.com> | 2014-06-16 15:26:39 (GMT) |
commit | 3895600226bbac2494c3d6e9c78d643e4949db35 (patch) | |
tree | 9c9be1b96fbacaae69c648f3c1703d393c22f880 | |
parent | 87573c6f21032a28f0acdb40b0859738e6f2d989 (diff) |
Reduce font size on FinishWindow
-rw-r--r-- | game.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -609,8 +609,8 @@ class FinishWindow(Gtk.Window): grid.set_orientation(Gtk.Orientation.VERTICAL) title = Gtk.Label() - title_font_size = style.FONT_SIZE * 3.5 - text_font_size = style.FONT_SIZE * 2.5 + title_font_size = style.FONT_SIZE * 3 + text_font_size = style.FONT_SIZE * 2 title.set_markup('<span font="%d" color="white">%s</span>' % (title_font_size, _('Maze solved!'))) |