{
Console.WriteLine ("ThemeGtk constructor");
InitGtk ();
- default_font = new Font (FontFamily.GenericSansSerif, 8.25f);
LoadSysDefaultColors ();
Rectangle buttonRectangle = button.ClientRectangle;
StateType state_type = StateType.Normal;
- ShadowType shadow_type = button.flat_style == FlatStyle.Flat ? ShadowType.In : ShadowType.Out;
+ ShadowType shadow_type = button.FlatStyle == FlatStyle.Flat ? ShadowType.In : ShadowType.Out;
string detail = "buttondefault";
if (((button is CheckBox) && (((CheckBox)button).check_state == CheckState.Checked)) ||
if (button.Focused)
gtk_widget_grab_focus (global_gtk_button);
- if (button.flat_style == FlatStyle.Flat)
+ if (button.FlatStyle == FlatStyle.Flat)
gtk_paint_flat_box (current_style,
current_gdk_drawable,
(int) state_type,
buttonRectangle.X, buttonRectangle.Y,
buttonRectangle.Width, buttonRectangle.Height);
else
- if (button.flat_style != FlatStyle.Popup || (button.flat_style == FlatStyle.Popup && button.is_entered))
+ if (button.FlatStyle != FlatStyle.Popup || (button.FlatStyle == FlatStyle.Popup && button.is_entered))
gtk_paint_box (current_style,
current_gdk_drawable,
(int) state_type,