| changeset 2704 | 4ba3bdc7d71f |
| parent 2456 | 7373e3048167 |
| child 3303 | 0ffb41625592 |
| 2703:32ffdb32b14e | 2704:4ba3bdc7d71f |
|---|---|
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 |