diff options
| author | Manuel Quiñones <manuq@laptop.org> | 2012-02-16 19:46:21 (GMT) |
|---|---|---|
| committer | Manuel Quiñones <manuq@laptop.org> | 2012-02-16 19:46:21 (GMT) |
| commit | 92cbc853d58592859b872116e83d7643a86d96c0 (patch) | |
| tree | 9d6a27f45c05e4840020b5e3858afd991c186903 /labyrinthactivity.py | |
| parent | b448694072de63521aa7fad377b5096309528c0a (diff) | |
Fix for the default font
The activity was selecting the last font if it doesn't find 'Times
New' or 'Times New Roman'. That was 'wasy10' which has only symbols.
Adding 'Sans' fixes the issue.
Signed-off-by: Manuel Quiñones <manuq@laptop.org>
Diffstat (limited to 'labyrinthactivity.py')
| -rw-r--r-- | labyrinthactivity.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/labyrinthactivity.py b/labyrinthactivity.py index 1155c0c..b9ab466 100644 --- a/labyrinthactivity.py +++ b/labyrinthactivity.py @@ -219,7 +219,7 @@ 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 in ['Times New', 'Times New Roman', 'Sans']: index_tnr = index if index_tnr == -1: fonts_combo_box.set_active(0) |