After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 771157 - Preferences: 'Scroll Offset' and 'Overscroll' entries are empty if 0
Preferences: 'Scroll Offset' and 'Overscroll' entries are empty if 0
Status: RESOLVED OBSOLETE
Product: gnome-builder
Classification: Other
Component: general
3.21.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2016-09-10 06:45 UTC by Mohammed Sadiq
Modified: 2018-01-11 10:10 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Mohammed Sadiq 2016-09-10 06:45:08 UTC 
In Preferences->Editor, the display text of 'Scroll Offset' and 'Overscroll' are empty when their values are set to 0.

How to reproduce:
1. Open builder->Preferences->Editor.
2. Set the values of 'Scroll Offset' and 'Overscroll' to 0.
3. restart builder and check the values again.

Ideally, '0' should be displayed so that there is no doubt about the values.
Comment 1 sébastien lafargue 2016-11-12 22:47:00 UTC 
If we set GtkSpinButton 'digits' property to 1 make the 0.0 value appear when scroll-offset value is 0 so look like a Gtk+ bug to me
( plus the fact that i haven't found any problems in the Builder code too )
Comment 2 GNOME Infrastructure Team 2018-01-11 10:10:06 UTC 
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-builder/issues/141.