Opened 12 years ago
Last modified 11 years ago
#3228 assigned defect
Labyrint set default font
Reported by: | earias | Owned by: | godiard |
---|---|---|---|
Priority: | Unspecified by Maintainer | Milestone: | Unspecified |
Component: | Labyrinth | Version: | Unspecified |
Severity: | Unspecified | Keywords: | |
Cc: | Distribution/OS: | Unspecified | |
Bug Status: | Unconfirmed |
Description
When activity starts, the font default isn't Times New Roman.
Change History (4)
comment:1 Changed 12 years ago by earias
comment:2 Changed 12 years ago by godiard
- Keywords 12.1.0 added
Should be? We don't include Times New Roman
comment:3 Changed 12 years ago by godiard
- Owner changed from garycmartin to godiard
- Status changed from new to assigned
Note: See
TracTickets for help on using
tickets.
--- a/labyrinthactivity.py
+++ b/labyrinthactivity.py
@@ -219,7 +219,9 @@ class TextAttributesToolbar(gtk.Toolbar):
+ if font_name == 'Times New' or \
+ font_name == 'Times New Roman' or \
+ font_name == 'Sans':