@@ -744,9 +744,11 @@ class UI_ThemeWin : public Fl_Window
744744 case 3 :
745745 Fl::scheme (" plastic" );
746746 break ;
747+ #if FL_MINOR_VERSION > 3
747748 case 4 :
748749 Fl::scheme (" oxy" );
749750 break ;
751+ #endif
750752 // Shouldn't be reached, but still
751753 default :
752754 Fl::scheme (" gtk+" );
@@ -793,9 +795,11 @@ class UI_ThemeWin : public Fl_Window
793795 case 3 :
794796 box_style = FL_PLASTIC_DOWN_BOX;
795797 break ;
798+ #if FL_MINOR_VERSION > 3
796799 case 4 :
797800 box_style = FL_OXY_DOWN_BOX;
798801 break ;
802+ #endif
799803 default :
800804 box_style = FL_GTK_DOWN_BOX;
801805 break ;
@@ -816,9 +820,11 @@ class UI_ThemeWin : public Fl_Window
816820 case 3 :
817821 box_style = FL_PLASTIC_THIN_UP_BOX;
818822 break ;
823+ #if FL_MINOR_VERSION > 3
819824 case 4 :
820825 box_style = FL_OXY_THIN_UP_BOX;
821826 break ;
827+ #endif
822828 default :
823829 box_style = FL_GTK_THIN_UP_BOX;
824830 break ;
@@ -846,9 +852,11 @@ class UI_ThemeWin : public Fl_Window
846852 case 3 :
847853 button_style = FL_PLASTIC_DOWN_BOX;
848854 break ;
855+ #if FL_MINOR_VERSION > 3
849856 case 4 :
850857 button_style = FL_OXY_DOWN_BOX;
851858 break ;
859+ #endif
852860 default :
853861 button_style = FL_GTK_DOWN_BOX;
854862 break ;
@@ -869,9 +877,11 @@ class UI_ThemeWin : public Fl_Window
869877 case 3 :
870878 button_style = FL_PLASTIC_UP_BOX;
871879 break ;
880+ #if FL_MINOR_VERSION > 3
872881 case 4 :
873882 button_style = FL_OXY_UP_BOX;
874883 break ;
884+ #endif
875885 default :
876886 button_style = FL_GTK_UP_BOX;
877887 break ;
@@ -990,9 +1000,11 @@ class UI_ThemeWin : public Fl_Window
9901000 case 3 :
9911001 box_style = FL_PLASTIC_DOWN_BOX;
9921002 break ;
1003+ #if FL_MINOR_VERSION > 3
9931004 case 4 :
9941005 box_style = FL_OXY_DOWN_BOX;
9951006 break ;
1007+ #endif
9961008 default :
9971009 box_style = FL_GTK_DOWN_BOX;
9981010 break ;
@@ -1013,9 +1025,11 @@ class UI_ThemeWin : public Fl_Window
10131025 case 3 :
10141026 box_style = FL_PLASTIC_THIN_UP_BOX;
10151027 break ;
1028+ #if FL_MINOR_VERSION > 3
10161029 case 4 :
10171030 box_style = FL_OXY_THIN_UP_BOX;
10181031 break ;
1032+ #endif
10191033 default :
10201034 box_style = FL_GTK_THIN_UP_BOX;
10211035 break ;
@@ -1070,9 +1084,11 @@ class UI_ThemeWin : public Fl_Window
10701084 case 3 :
10711085 button_style = FL_PLASTIC_DOWN_BOX;
10721086 break ;
1087+ #if FL_MINOR_VERSION > 3
10731088 case 4 :
10741089 button_style = FL_OXY_DOWN_BOX;
10751090 break ;
1091+ #endif
10761092 default :
10771093 button_style = FL_GTK_DOWN_BOX;
10781094 break ;
@@ -1093,9 +1109,11 @@ class UI_ThemeWin : public Fl_Window
10931109 case 3 :
10941110 button_style = FL_PLASTIC_UP_BOX;
10951111 break ;
1112+ #if FL_MINOR_VERSION > 3
10961113 case 4 :
10971114 button_style = FL_OXY_UP_BOX;
10981115 break ;
1116+ #endif
10991117 default :
11001118 button_style = FL_GTK_UP_BOX;
11011119 break ;
@@ -1756,7 +1774,11 @@ UI_ThemeWin::UI_ThemeWin(int W, int H, const char *label) : Fl_Window(W, H, labe
17561774 opt_widget_theme = new UI_CustomMenu (cx + W * .38 , cy, listwidth, KromulentHeight (24 ), " " );
17571775 opt_widget_theme->copy_label (_ (" Widget Theme: " ));
17581776 opt_widget_theme->align (FL_ALIGN_LEFT);
1777+ #if FL_MINOR_VERSION > 3
17591778 opt_widget_theme->add (_ (" Default|Gleam|Win95|Plastic|Oxy" ));
1779+ #else
1780+ opt_widget_theme->add (_ (" Default|Gleam|Win95|Plastic" ));
1781+ #endif
17601782 opt_widget_theme->callback (callback_WidgetTheme, this );
17611783 opt_widget_theme->value (widget_theme);
17621784 opt_widget_theme->labelfont (font_style);
0 commit comments