Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Control.java2
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java4
2 files changed, 6 insertions, 0 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Control.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Control.java
index ad2769160a..c6bad65b1d 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Control.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Control.java
@@ -3929,6 +3929,8 @@ void setBackgroundColor (long /*int*/ handle, GdkColor color) {
rgba.blue = (color.blue & 0xFFFF) / (float)0xFFFF;
}
OS.gtk_widget_override_background_color (handle, OS.GTK_STATE_FLAG_NORMAL, rgba);
+ long /*int*/ context = OS.gtk_widget_get_style_context (handle);
+ OS.gtk_style_context_invalidate (context);
return;
}
int index = OS.GTK_STATE_NORMAL;
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java
index 1797edc72d..bb2684cd7b 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java
@@ -1646,6 +1646,8 @@ public void setData (String key, Object value) {
void setFontDescription (long /*int*/ widget, long /*int*/ font) {
if (OS.GTK3) {
OS.gtk_widget_override_font (widget, font);
+ long /*int*/ context = OS.gtk_widget_get_style_context (handle);
+ OS.gtk_style_context_invalidate (context);
} else {
OS.gtk_widget_modify_font (widget, font);
}
@@ -1666,6 +1668,8 @@ void setForegroundColor (long /*int*/ handle, GdkColor color, boolean setStateAc
rgba.blue = (color.blue & 0xFFFF) / (float)0xFFFF;
}
OS.gtk_widget_override_color (handle, OS.GTK_STATE_FLAG_NORMAL, rgba);
+ long /*int*/ context = OS.gtk_widget_get_style_context (handle);
+ OS.gtk_style_context_invalidate (context);
return;
}

Back to the top