仅当用户停止拖动时才发出Gtk.Range value_changed信号

Question

所以我创建了一个包含以下内容的滑块：

var myscale = new Gtk.Scale.with_range(Gtk.Orientation.HORIZONTAL, 0, 100, 0.1);

我可以使用以下方法收听规模变化：

myscale.value_changed.connect(() => {
    message("%f".printf(myscale.get_value()));
});

但是这会在用户拖动时打印出值，我只想知道何时更改了值。我尝试使用state_changed信号，但这似乎仅在用户悬停时才发出，而不是在用户实际与窗口小部件交互时发出。