GNOME Bugzilla – Bug 650660
Font text size scale updates too fast
Last modified: 2012-01-17 19:54:07 UTC
When i change the scalingfactor, the slide widget becomes unusable, because gnome-tweak-tool semms to update the value after every step on the slider. It would be better if it would just update the value after a mouse release.
GtkRange update-policy was removed in gtk+-3.0. There is no replacement unfortunately. I would take a patch implementing a work-around though.
Doesn't the distinction between the "changed" and "value-changed" signals in http://developer.gnome.org/gtk3/stable/GtkAdjustment.html allow this kind of thing?
(In reply to comment #2) > Doesn't the distinction between the "changed" and "value-changed" signals in > http://developer.gnome.org/gtk3/stable/GtkAdjustment.html allow this kind of > thing? Not AIUI. "changed" is emitted when any of the properties (value,min,max,step-size,page-size, etc) is changed. "value-changed" is only emitted when value is changed. I only change the "value" property, so using either/or doesnt help here.
An alternative approach might be to use a spinbutton widget instead of a slider... that way the user can enter precise values and they would be applied only when the widget focus changes or when the user presses Enter. It would also allow more precision than 1 digit.
Created attachment 205438 [details] [review] Change widget for text-scaling-factor to SpinButton Here's a patch for changing it to a SpinButton. It's against gnome-3-2 because master doesn't start on my machine. Works much better than the slider (where I really had a hard time with setting it back to 1.0 after I changed it).
Attachment 205438 [details] pushed as 89c320b - Change widget for text-scaling-factor to SpinButton