Just another small note: GtkSpinButtons are editable by default, so this setting was indeed changed consciously (and hence most likely purposefully). The best explanation that I can come up with is the one I gave earlier (obviously it wasn't me who took that decision).
Just another small note: GtkSpinButtons are editable by default, so this setting was indeed changed consciously (and hence most likely purposefully). The best explanation that I can come up with is the one I gave earlier (obviously it wasn't me who took that decision).