So I have a slider created with the following:
var myscale = new Gtk.Scale.with_range(Gtk.Orientation.HORIZONTAL, 0, 100, 0.1);
I can listen for changes on the scale with:
myscale.value_changed.connect(() => {
message("%f".printf(myscale.get_value()));
});
But this prints out the value while the user is dragging, and I only want to know when the value has changed. I tried using the state_changed
signal, but that seems to only emit when the user hovers, not when the user actually interacts with the widget.
Use the GtkWidget "button-release-event" with "After" flag