@@ -38,15 +38,15 @@ decor_b=0
38
38
[Persistent_Options/Window/home/gunter/src/wxmaxima/test/automatic_test_files/testbench_simple.mac]
39
39
x =26
40
40
y =23
41
- w =1492
42
- h =899
41
+ w =1544
42
+ h =988
43
43
Maximized =0
44
44
Iconized =0
45
45
[Persistent_Options/Window/home/gunter/src/wxmaxima/test/automatic_test_files/testbench_simple2.mac]
46
46
x =26
47
47
y =23
48
- w =1492
49
- h =899
48
+ w =1544
49
+ h =988
50
50
Maximized =0
51
51
Iconized =0
52
52
[Style]
@@ -57,7 +57,7 @@ italic=1
57
57
underlined =0
58
58
[Style/Default/Style]
59
59
[Style/Default/Style/Text]
60
- fontname =
60
+ fontname =Arial
61
61
fontsize =12
62
62
[Style/Math]
63
63
fontname =
@@ -69,7 +69,7 @@ underlined=0
69
69
[Style/Text/Style]
70
70
[Style/Text/Style/Text]
71
71
fontsize =12
72
- fontname =
72
+ fontname =Arial
73
73
[Style/CodeHighlighting]
74
74
[Style/CodeHighlighting/Variable]
75
75
color =rgb(0, 128, 0)
@@ -79,7 +79,7 @@ underlined=0
79
79
[Style/CodeHighlighting/Variable/Style]
80
80
[Style/CodeHighlighting/Variable/Style/Text]
81
81
fontsize =10
82
- fontname =
82
+ fontname =Arial
83
83
[Style/CodeHighlighting/Function]
84
84
color =rgb(128, 0, 0)
85
85
bold =0
@@ -88,7 +88,7 @@ underlined=0
88
88
[Style/CodeHighlighting/Function/Style]
89
89
[Style/CodeHighlighting/Function/Style/Text]
90
90
fontsize =10
91
- fontname =
91
+ fontname =Arial
92
92
[Style/CodeHighlighting/Comment]
93
93
color =rgb(64, 64, 64)
94
94
bold =0
@@ -97,7 +97,7 @@ underlined=0
97
97
[Style/CodeHighlighting/Comment/Style]
98
98
[Style/CodeHighlighting/Comment/Style/Text]
99
99
fontsize =10
100
- fontname =
100
+ fontname =Arial
101
101
[Style/CodeHighlighting/Number]
102
102
color =rgb(128, 64, 0)
103
103
bold =0
@@ -106,7 +106,7 @@ underlined=0
106
106
[Style/CodeHighlighting/Number/Style]
107
107
[Style/CodeHighlighting/Number/Style/Text]
108
108
fontsize =10
109
- fontname =
109
+ fontname =Arial
110
110
[Style/CodeHighlighting/String]
111
111
color =rgb(0, 0, 128)
112
112
bold =0
@@ -115,7 +115,7 @@ underlined=0
115
115
[Style/CodeHighlighting/String/Style]
116
116
[Style/CodeHighlighting/String/Style/Text]
117
117
fontsize =10
118
- fontname =
118
+ fontname =Arial
119
119
[Style/CodeHighlighting/Operator]
120
120
color =black
121
121
bold =0
@@ -124,7 +124,7 @@ underlined=0
124
124
[Style/CodeHighlighting/Operator/Style]
125
125
[Style/CodeHighlighting/Operator/Style/Text]
126
126
fontsize =10
127
- fontname =
127
+ fontname =Arial
128
128
[Style/CodeHighlighting/Lisp]
129
129
color =rgb(255, 0, 128)
130
130
bold =0
@@ -133,7 +133,7 @@ underlined=0
133
133
[Style/CodeHighlighting/Lisp/Style]
134
134
[Style/CodeHighlighting/Lisp/Style/Text]
135
135
fontsize =10
136
- fontname =
136
+ fontname =Arial
137
137
[Style/CodeHighlighting/EndOfLine]
138
138
color =grey
139
139
bold =0
@@ -142,7 +142,7 @@ underlined=0
142
142
[Style/CodeHighlighting/EndOfLine/Style]
143
143
[Style/CodeHighlighting/EndOfLine/Style/Text]
144
144
fontsize =10
145
- fontname =
145
+ fontname =Arial
146
146
[Style/Heading6]
147
147
color =black
148
148
bold =1
@@ -151,7 +151,7 @@ underlined=0
151
151
[Style/Heading6/Style]
152
152
[Style/Heading6/Style/Text]
153
153
fontsize =14
154
- fontname =
154
+ fontname =Arial
155
155
[Style/Heading5]
156
156
color =black
157
157
bold =1
@@ -160,7 +160,7 @@ underlined=0
160
160
[Style/Heading5/Style]
161
161
[Style/Heading5/Style/Text]
162
162
fontsize =15
163
- fontname =
163
+ fontname =Arial
164
164
[Style/Subsubsection]
165
165
color =black
166
166
bold =1
@@ -169,7 +169,7 @@ underlined=0
169
169
[Style/Subsubsection/Style]
170
170
[Style/Subsubsection/Style/Text]
171
171
fontsize =16
172
- fontname =
172
+ fontname =Arial
173
173
[Style/Subsection]
174
174
color =black
175
175
bold =1
@@ -178,7 +178,7 @@ underlined=0
178
178
[Style/Subsection/Style]
179
179
[Style/Subsection/Style/Text]
180
180
fontsize =16
181
- fontname =
181
+ fontname =Arial
182
182
[Style/Section]
183
183
color =black
184
184
bold =1
@@ -187,7 +187,7 @@ underlined=0
187
187
[Style/Section/Style]
188
188
[Style/Section/Style/Text]
189
189
fontsize =18
190
- fontname =
190
+ fontname =Arial
191
191
[Style/Title]
192
192
color =black
193
193
bold =1
@@ -196,7 +196,7 @@ underlined=1
196
196
[Style/Title/Style]
197
197
[Style/Title/Style/Text]
198
198
fontsize =24
199
- fontname =
199
+ fontname =Arial
200
200
[Style/Warning]
201
201
color =rgb(255, 165, 0)
202
202
bold =1
@@ -205,7 +205,7 @@ underlined=0
205
205
[Style/Warning/Style]
206
206
[Style/Warning/Style/Text]
207
207
fontsize =12
208
- fontname =
208
+ fontname =Arial
209
209
[Style/MainPrompt]
210
210
color =rgb(255, 128, 128)
211
211
bold =0
@@ -214,7 +214,7 @@ underlined=0
214
214
[Style/MainPrompt/Style]
215
215
[Style/MainPrompt/Style/Text]
216
216
fontsize =10
217
- fontname =
217
+ fontname =Arial
218
218
[Style/OtherPrompt]
219
219
color =red
220
220
bold =0
@@ -223,7 +223,7 @@ underlined=0
223
223
[Style/OtherPrompt/Style]
224
224
[Style/OtherPrompt/Style/Text]
225
225
fontsize =10
226
- fontname =
226
+ fontname =Arial
227
227
[Style/Label]
228
228
color =rgb(255, 192, 128)
229
229
bold =0
@@ -232,7 +232,7 @@ underlined=0
232
232
[Style/Label/Style]
233
233
[Style/Label/Style/Text]
234
234
fontsize =10
235
- fontname =
235
+ fontname =Arial
236
236
[Style/UserDefinedLabel]
237
237
color =rgb(255, 64, 0)
238
238
bold =0
@@ -241,7 +241,7 @@ underlined=0
241
241
[Style/UserDefinedLabel/Style]
242
242
[Style/UserDefinedLabel/Style/Text]
243
243
fontsize =10
244
- fontname =
244
+ fontname =Arial
245
245
[Style/Special]
246
246
color =black
247
247
bold =0
@@ -250,16 +250,16 @@ underlined=0
250
250
[Style/Special/Style]
251
251
[Style/Special/Style/Text]
252
252
fontsize =10
253
- fontname =
253
+ fontname =Arial
254
254
[Style/Greek]
255
255
color =black
256
256
bold =0
257
- italic =0
257
+ italic =1
258
258
underlined =0
259
259
[Style/Greek/Style]
260
260
[Style/Greek/Style/Text]
261
261
fontsize =10
262
- fontname =
262
+ fontname =Arial
263
263
[Style/Input]
264
264
color =blue
265
265
bold =0
@@ -268,7 +268,7 @@ underlined=0
268
268
[Style/Input/Style]
269
269
[Style/Input/Style/Text]
270
270
fontsize =10
271
- fontname =
271
+ fontname =Arial
272
272
[Style/Number]
273
273
color =black
274
274
bold =0
@@ -277,7 +277,7 @@ underlined=0
277
277
[Style/Number/Style]
278
278
[Style/Number/Style/Text]
279
279
fontsize =10
280
- fontname =
280
+ fontname =Arial
281
281
[Style/String]
282
282
color =black
283
283
bold =0
@@ -286,7 +286,7 @@ underlined=0
286
286
[Style/String/Style]
287
287
[Style/String/Style/Text]
288
288
fontsize =10
289
- fontname =
289
+ fontname =Arial
290
290
[Style/Variable]
291
291
color =black
292
292
bold =0
@@ -295,7 +295,7 @@ underlined=0
295
295
[Style/Variable/Style]
296
296
[Style/Variable/Style/Text]
297
297
fontsize =10
298
- fontname =
298
+ fontname =Arial
299
299
[Style/Function]
300
300
color =black
301
301
bold =0
@@ -304,7 +304,7 @@ underlined=0
304
304
[Style/Function/Style]
305
305
[Style/Function/Style/Text]
306
306
fontsize =10
307
- fontname =
307
+ fontname =Arial
308
308
[Style/Highlight]
309
309
color =red
310
310
bold =0
@@ -313,7 +313,7 @@ underlined=0
313
313
[Style/Highlight/Style]
314
314
[Style/Highlight/Style/Text]
315
315
fontsize =10
316
- fontname =
316
+ fontname =Arial
317
317
[Style/Background]
318
318
color =white
319
319
bold =0
@@ -322,7 +322,7 @@ underlined=0
322
322
[Style/Background/Style]
323
323
[Style/Background/Style/Text]
324
324
fontsize =10
325
- fontname =
325
+ fontname =Arial
326
326
[Style/DocumentBackground]
327
327
color =white
328
328
bold =0
@@ -331,7 +331,7 @@ underlined=0
331
331
[Style/DocumentBackground/Style]
332
332
[Style/DocumentBackground/Style/Text]
333
333
fontsize =10
334
- fontname =
334
+ fontname =Arial
335
335
[Style/Error]
336
336
color =red
337
337
bold =0
@@ -340,7 +340,7 @@ underlined=0
340
340
[Style/Error/Style]
341
341
[Style/Error/Style/Text]
342
342
fontsize =12
343
- fontname =
343
+ fontname =Arial
344
344
[Style/CellBracket]
345
345
color =black
346
346
bold =0
@@ -349,7 +349,7 @@ underlined=0
349
349
[Style/CellBracket/Style]
350
350
[Style/CellBracket/Style/Text]
351
351
fontsize =10
352
- fontname =
352
+ fontname =Arial
353
353
[Style/ActiveCellBracket]
354
354
color =black
355
355
bold =0
@@ -358,7 +358,7 @@ underlined=0
358
358
[Style/ActiveCellBracket/Style]
359
359
[Style/ActiveCellBracket/Style/Text]
360
360
fontsize =10
361
- fontname =
361
+ fontname =Arial
362
362
[Style/Selection]
363
363
color =rgb(233, 84, 32)
364
364
bold =0
@@ -367,7 +367,7 @@ underlined=0
367
367
[Style/Selection/Style]
368
368
[Style/Selection/Style/Text]
369
369
fontsize =10
370
- fontname =
370
+ fontname =Arial
371
371
[Style/EqualsSelection]
372
372
color =rgb(244, 169, 143)
373
373
bold =0
@@ -376,7 +376,7 @@ underlined=0
376
376
[Style/EqualsSelection/Style]
377
377
[Style/EqualsSelection/Style/Text]
378
378
fontsize =10
379
- fontname =
379
+ fontname =Arial
380
380
[Style/Outdated]
381
381
color =rgb(153, 153, 153)
382
382
bold =0
@@ -385,4 +385,4 @@ underlined=0
385
385
[Style/Outdated/Style]
386
386
[Style/Outdated/Style/Text]
387
387
fontsize =10
388
- fontname =
388
+ fontname =Arial
0 commit comments