index 757b834f7328a6f95cdb981a9d3a57f649e58911..94232810054a6545620527584e9a02be661d4525 100644 (file)
static gchar*
slider_format_falue (GtkScale* scale, gdouble value, gchar *label)
{
+ (void)scale;
return g_strdup_printf("%s %d", label, (int) round(value));
}