@@ -500,12 +500,6 @@ class UI_ThemeWin : public Fl_Window
500500 main_win->menu_bar ->labelsize (FL_NORMAL_SIZE * .90 );
501501 main_win->menu_bar ->redraw ();
502502 main_win->game_box ->heading ->labelsize (header_font_size);
503- main_win->game_box ->engine ->labelsize (FL_NORMAL_SIZE);
504- main_win->game_box ->engine ->textsize (FL_NORMAL_SIZE);
505- main_win->game_box ->engine ->copy_label (" "
506- " " );
507- main_win->game_box ->engine_help ->copy_label (" " );
508- main_win->game_box ->engine_help ->labelsize (FL_NORMAL_SIZE);
509503 main_win->game_box ->game_help ->labelsize (FL_NORMAL_SIZE);
510504 main_win->game_box ->game_help ->copy_label (" " );
511505 main_win->game_box ->game ->labelsize (FL_NORMAL_SIZE);
@@ -534,12 +528,10 @@ class UI_ThemeWin : public Fl_Window
534528 {
535529 main_win->game_box ->child (x)->redraw ();
536530 }
537- main_win->game_box ->engine ->copy_label (" Engine: " );
538531 main_win->game_box ->game ->copy_label (" Game: " );
539532 main_win->game_box ->port ->copy_label (" Port: " );
540533 main_win->game_box ->length ->copy_label (" Length: " );
541534 main_win->game_box ->theme ->copy_label (" Theme: " );
542- main_win->game_box ->engine_help ->copy_label (" ?" );
543535 main_win->game_box ->port_help ->copy_label (" ?" );
544536 main_win->game_box ->length_help ->copy_label (" ?" );
545537 main_win->game_box ->game_help ->copy_label (" ?" );
@@ -622,12 +614,6 @@ class UI_ThemeWin : public Fl_Window
622614 main_win->menu_bar ->textfont (font_style);
623615 main_win->menu_bar ->redraw ();
624616 main_win->game_box ->heading ->labelfont (font_style | FL_BOLD);
625- main_win->game_box ->engine ->labelfont (font_style);
626- main_win->game_box ->engine ->textfont (font_style);
627- main_win->game_box ->engine ->copy_label (" "
628- " " );
629- main_win->game_box ->engine_help ->copy_label (" " );
630- main_win->game_box ->engine_help ->labelfont (font_style);
631617 main_win->game_box ->game_help ->labelfont (font_style);
632618 main_win->game_box ->game_help ->copy_label (" " );
633619 main_win->game_box ->game ->labelfont (font_style);
@@ -656,12 +642,10 @@ class UI_ThemeWin : public Fl_Window
656642 {
657643 main_win->game_box ->child (x)->redraw ();
658644 }
659- main_win->game_box ->engine ->copy_label (" Engine: " );
660645 main_win->game_box ->game ->copy_label (" Game: " );
661646 main_win->game_box ->port ->copy_label (" Port: " );
662647 main_win->game_box ->length ->copy_label (" Length: " );
663648 main_win->game_box ->theme ->copy_label (" Theme: " );
664- main_win->game_box ->engine_help ->copy_label (" ?" );
665649 main_win->game_box ->port_help ->copy_label (" ?" );
666650 main_win->game_box ->length_help ->copy_label (" ?" );
667651 main_win->game_box ->game_help ->copy_label (" ?" );
@@ -1221,8 +1205,6 @@ class UI_ThemeWin : public Fl_Window
12211205 main_win->menu_bar ->textcolor (FONT_COLOR);
12221206 main_win->menu_bar ->redraw ();
12231207 main_win->game_box ->heading ->labelcolor (FONT_COLOR);
1224- main_win->game_box ->engine ->labelcolor (FONT_COLOR);
1225- main_win->game_box ->engine_help ->labelcolor (FONT_COLOR);
12261208 main_win->game_box ->game ->labelcolor (FONT_COLOR);
12271209 main_win->game_box ->game_help ->labelcolor (FONT_COLOR);
12281210 main_win->game_box ->port ->labelcolor (FONT_COLOR);
@@ -1322,7 +1304,6 @@ class UI_ThemeWin : public Fl_Window
13221304 {
13231305 FONT2_COLOR = fl_rgb_color (text2_red, text2_green, text2_blue);
13241306 }
1325- main_win->game_box ->engine ->textcolor (FONT2_COLOR);
13261307 main_win->game_box ->game ->textcolor (FONT2_COLOR);
13271308 main_win->game_box ->port ->textcolor (FONT2_COLOR);
13281309 main_win->game_box ->length ->textcolor (FONT2_COLOR);
@@ -1441,7 +1422,6 @@ class UI_ThemeWin : public Fl_Window
14411422 main_win->color (GAP_COLOR, SELECTION);
14421423 main_win->menu_bar ->selection_color (SELECTION);
14431424 main_win->redraw ();
1444- main_win->game_box ->engine ->selection_color (SELECTION);
14451425 main_win->game_box ->game ->selection_color (SELECTION);
14461426 main_win->game_box ->port ->selection_color (SELECTION);
14471427 main_win->game_box ->length ->selection_color (SELECTION);
0 commit comments