commit aca62e3e174505e5d310af1ac7479886e5882aed
author Alexander Kurtakov <akurtako@redhat.com> Sat Aug 04 20:09:48 2018 +0300
committer Alexander Kurtakov <akurtako@redhat.com> Sat Aug 04 15:15:17 2018 -0400
tree 64a5eecf41c6d25138f672e7ce884d4deb8b621b
parent a309986ef5cad3fdd4a0011cba7f3b4cae908a37

Bug 476608 - Sluggishness reported in gdk_flush

Remove call from setDarkThemePreferred.

Change-Id: Ia70b1b705b0bef7bbae1c5c3d7a0a7034e64ba38
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>

bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java

diff --git a/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java b/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java
index 809ccb1..a894399 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java
@@ -4255,7 +4255,6 @@
  */
 public static final void setDarkThemePreferred(boolean preferred){
 	if (!GTK.GTK3) return; //only applicable to GTK3
-	GDK.gdk_flush();
 	g_object_set(GTK.gtk_settings_get_default(), GTK.gtk_application_prefer_dark_theme,
 			preferred, 0);
 	g_object_notify(GTK.gtk_settings_get_default(),