Labyrint set default font

[earias]

When activity starts, the font default isn't Times New Roman.

[earias]

--- a/labyrinthactivity.py
+++ b/labyrinthactivity.py
@@ -219,7 +219,9 @@ class TextAttributesToolbar(gtk.Toolbar):

pango_font = pango.FontDescription(font.get_name())
font_name = pango_font.to_string()
fonts_combo_box.append_text(font_name)

• if font_name == 'Times New' or font_name == 'Times New Roman':

+ if font_name == 'Times New' or \
+ font_name == 'Times New Roman' or \
+ font_name == 'Sans':

index_tnr = index

if index_tnr == -1:

fonts_combo_box.set_active(0)

[godiard]

Should be? We don't include Times New Roman

[erikos]

Don't handle that in 12.1.0