| changeset 2345 | a56362c818a3 |
| parent 2344 | 94045bfa2d94 |
| child 2347 | 6dca42cd2b2b |
| 2344:94045bfa2d94 | 2345:a56362c818a3 |
|---|---|
81 faces = { |
81 faces = { |
82 'times': 'Times', |
82 'times': 'Times', |
83 'mono': 'Courier', |
83 'mono': 'Courier', |
84 'helv': 'Helvetica', |
84 'helv': 'Helvetica', |
85 'other': 'new century schoolbook', |
85 'other': 'new century schoolbook', |
86 'size': 12, |
86 'size': 10, |
87 } |
87 } |
88 |
88 |
89 if wx.Platform == '__WXMSW__': |
89 if wx.Platform == '__WXMSW__': |
90 MAX_ZOOMIN = 4 |
90 MAX_ZOOMIN = 4 |
91 else: |
91 else: |