| branch | svghmi |
| changeset 2918 | 5cb6ab87b185 |
| parent 2456 | 7373e3048167 |
| child 3303 | 0ffb41625592 |
| 2917:c8d923dd707f | 2918:5cb6ab87b185 |
|---|---|
38 'size': 10, |
38 'size': 10, |
39 } |
39 } |
40 else: |
40 else: |
41 faces = { |
41 faces = { |
42 'times': 'Times', |
42 'times': 'Times', |
43 'mono': 'Courier', |
43 'mono': 'FreeMono', |
44 'helv': 'Helvetica', |
44 'helv': 'Helvetica', |
45 'other': 'new century schoolbook', |
45 'other': 'new century schoolbook', |
46 'size': 12, |
46 'size': 12, |
47 } |
47 } |
48 |
48 |