| changeset 2704 | 4ba3bdc7d71f |
| parent 2624 | 570cf07c3fd1 |
| child 2726 | c465414017a2 |
| 2703:32ffdb32b14e | 2704:4ba3bdc7d71f |
|---|---|
101 'mono': 'Courier New', |
101 'mono': 'Courier New', |
102 'size': 8, |
102 'size': 8, |
103 } |
103 } |
104 else: |
104 else: |
105 faces = { |
105 faces = { |
106 'mono': 'Courier', |
106 'mono': 'FreeMono', |
107 'size': 10, |
107 'size': 10, |
108 } |
108 } |
109 |
109 |
110 |
110 |
111 MainThread = currentThread().ident |
111 MainThread = currentThread().ident |