Bug465054 - [GTK3] [GTK3.14] Mixed fonts for labels produces visual garbage on scrolling
authorSnjezana Peco <snjezana.peco@redhat.com>
Wed, 13 Jan 2016 18:41:38 +0000 (19:41 +0100)
committerArun Thondapu <arunkumar.thondapu@in.ibm.com>
Tue, 19 Jan 2016 10:33:47 +0000 (05:33 -0500)
Change-Id: Iea3918715b5425e17aa9dd4974c61de9ac3d356c
Signed-off-by: Snjezana Peco <snjeza.peco@gmail.com>
bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Table.java
bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Tree.java

index 9b904ad..a0c8046 100644 (file)
@@ -3709,6 +3709,9 @@ void updateScrollBarValue (ScrollBar bar) {
                temp = OS.g_list_next (temp);
        }
        OS.g_list_free (list);
+       if (OS.GTK3) {
+               OS.gtk_widget_queue_resize(handle);
+       }
 }
 
 @Override
index bc64152..ec3b250 100644 (file)
@@ -3581,6 +3581,9 @@ void updateScrollBarValue (ScrollBar bar) {
                temp = OS.g_list_next (temp);
        }
        OS.g_list_free (list);
+       if (OS.GTK3) {
+               OS.gtk_widget_queue_resize(handle);
+       }
 }
 
 @Override