make sure value label updates even if handle position does not change, fixes #13042

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@67379 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

diff --git a/src/gtk/slider.cpp b/src/gtk/slider.cpp
index a5ed7f8e33c907e5cfa20b5dc191f34e19dc45a2..0527106ad9ef200045956cc93d1339ad55eab0ba 100644 (file)
--- a/src/gtk/slider.cpp
+++ b/src/gtk/slider.cpp
@@ -439,6 +439,8 @@ void wxSlider::GTKSetValue(int value)
 {
     GTKDisableEvents();
     gtk_range_set_value(GTK_RANGE (m_scale), value);
+    // GTK only updates value label if handle moves at least 1 pixel
+    gtk_widget_queue_draw(m_scale);
     GTKEnableEvents();
 }