| branch | svghmi |
| changeset 2918 | 5cb6ab87b185 |
| parent 2804 | a6be58a1a8b7 |
| child 2737 | 38afed869ff6 |
| 2917:c8d923dd707f | 2918:5cb6ab87b185 |
|---|---|
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 |