index 757b834f7328a6f95cdb981a9d3a57f649e58911..e6ec392adaf1c0c5e4991d68694549326f070f8a 100644 (file)
#include <gdk/gdkkeysyms.h>
#include <gtk/gtkversion.h>
#include <gtk/gtktoolitem.h>
-#include <gtk/gtkspinbutton.h>
+#include <gtk/gtk.h>
#include <gtk/gtkhscale.h>
#if GTK_CHECK_VERSION(2,12,0)
#include <gtk/gtkscalebutton.h>
static gchar*
slider_format_falue (GtkScale* scale, gdouble value, gchar *label)
{
+ (void)scale;
return g_strdup_printf("%s %d", label, (int) round(value));
}