ui/src/optsolver.src

30     Size = MAP_APPFONT ( 250, 210 ) ;
38         Size = MAP_APPFONT ( 86, 8 ) ;
46         Size = MAP_APPFONT ( 135, 12 ) ;
53         Size = MAP_APPFONT ( 13, 15 ) ;
61         Size = MAP_APPFONT ( 86, 8 ) ;
68         Size = MAP_APPFONT ( 50, 10 ) ;
76         Size = MAP_APPFONT ( 50, 10 ) ;
84         Size = MAP_APPFONT ( 42, 10 ) ;
93         Size = MAP_APPFONT ( 91, 12 ) ;
100         Size = MAP_APPFONT ( 13, 15 ) ;
108         Size = MAP_APPFONT ( 86, 8 ) ;
116         Size = MAP_APPFONT ( 135, 12 ) ;
123         Size = MAP_APPFONT ( 13, 15 ) ;
131         Size = MAP_APPFONT ( 241, 8 ) ;
138         Size = MAP_APPFONT ( 78, 8 ) ;
144         Size = MAP_APPFONT ( 40, 8 ) ;
150         Size = MAP_APPFONT ( 78, 8 ) ;
159         Size = MAP_APPFONT ( 63, 12 ) ;
166         Size = MAP_APPFONT ( 13, 15 ) ;
175         Size = MAP_APPFONT ( 40, 56 ) ;
192         Size = MAP_APPFONT ( 63, 12 ) ;
199         Size = MAP_APPFONT ( 13, 15 ) ;
207         Size = MAP_APPFONT ( 13, 15 ) ;
218         Size = MAP_APPFONT ( 63, 12 ) ;
225         Size = MAP_APPFONT ( 13, 15 ) ;
234         Size = MAP_APPFONT ( 40, 56 ) ;
251         Size = MAP_APPFONT ( 63, 12 ) ;
258         Size = MAP_APPFONT ( 13, 15 ) ;
266         Size = MAP_APPFONT ( 13, 15 ) ;
277         Size = MAP_APPFONT ( 63, 12 ) ;
284         Size = MAP_APPFONT ( 13, 15 ) ;
293         Size = MAP_APPFONT ( 40, 56 ) ;
310         Size = MAP_APPFONT ( 63, 12 ) ;
317         Size = MAP_APPFONT ( 13, 15 ) ;
325         Size = MAP_APPFONT ( 13, 15 ) ;
336         Size = MAP_APPFONT ( 63, 12 ) ;
343         Size = MAP_APPFONT ( 13, 15 ) ;
352         Size = MAP_APPFONT ( 40, 56 ) ;
369         Size = MAP_APPFONT ( 63, 12 ) ;
376         Size = MAP_APPFONT ( 13, 15 ) ;
384         Size = MAP_APPFONT ( 13, 15 ) ;
393         Size = MAP_APPFONT ( 8, 59 ) ;
400         Size = MAP_APPFONT ( 250, 8 ) ;
407         Size = MAP_APPFONT ( 55, 14 ) ;
414         Size = MAP_APPFONT ( 55, 14 ) ;
420         Size = MAP_APPFONT ( 55, 14 ) ;
428         Size = MAP_APPFONT ( 55, 14 ) ;
452     Size = MAP_APPFONT ( 118, 72 ) ;
458         Size = MAP_APPFONT ( 106, 8 ) ;
465         Size = MAP_APPFONT ( 106, 8 ) ;
472         Size = MAP_APPFONT ( 118, 8 ) ;
477         Size = MAP_APPFONT ( 50, 14 ) ;
490     Size = MAP_APPFONT ( 118, 72 ) ;
495         Size = MAP_APPFONT ( 106, 8 ) ;
501         Size = MAP_APPFONT ( 106, 16 ) ;
508         Size = MAP_APPFONT ( 118, 8 ) ;
513         Size = MAP_APPFONT ( 50, 14 ) ;
526     Size = MAP_APPFONT ( 138, 89 ) ;
531         Size = MAP_APPFONT ( 126, 8 ) ;
537         Size = MAP_APPFONT ( 126, 8 ) ;
543         Size = MAP_APPFONT ( 126, 16 ) ;
550         Size = MAP_APPFONT ( 138, 8 ) ;
555         Size = MAP_APPFONT ( 60, 14 ) ;
563         Size = MAP_APPFONT ( 60, 14 ) ;