Издает сигнал Gtk.Range value_changed только тогда, когда пользователь перестает перетаскивать - PullRequest
Новая
       30

Издает сигнал Gtk.Range value_changed только тогда, когда пользователь перестает перетаскивать

0 голосов
/ 18 января 2019

Итак, у меня есть ползунок, созданный со следующим: 

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, но, похоже, он излучается только тогда, когда пользователь зависает, а не когда пользователь фактически взаимодействует с виджетом.

...