| changeset 2704 | 4ba3bdc7d71f |
| parent 2639 | 62b5f7b909a9 |
| child 2737 | 38afed869ff6 |
| 2703:32ffdb32b14e | 2704:4ba3bdc7d71f |
|---|---|
80 'size': 10, |
80 'size': 10, |
81 } |
81 } |
82 else: |
82 else: |
83 faces = { |
83 faces = { |
84 'times': 'Times', |
84 'times': 'Times', |
85 'mono': 'Courier', |
85 'mono': 'FreeMono', |
86 'helv': 'Helvetica', |
86 'helv': 'Helvetica', |
87 'other': 'new century schoolbook', |
87 'other': 'new century schoolbook', |
88 'size': 10, |
88 'size': 10, |
89 } |
89 } |
90 |
90 |