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 766086 - Keyboard emulation mode can be deselected
Keyboard emulation mode can be deselected
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2016-05-06 23:58 UTC by Bastien Nocera
Modified: 2016-05-07 09:38 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
prefs: prevent deselection of radio in option group (1.19 KB, patch)
2016-05-07 09:38 UTC, Christian Hergert
committed Details | Review

Description Bastien Nocera 2016-05-06 23:58:49 UTC
gnome-builder-3.20.2-1.fc24.x86_64

1. Go to the Keyboard preferences
2. Click on the keyboard emulation that's already selected
3. Notice that there's no checkmark in any of the emulation types
Comment 1 Christian Hergert 2016-05-07 09:38:02 UTC
Created attachment 327431 [details] [review]
prefs: prevent deselection of radio in option group

If we have multiple options for a radio, we might end up deselecting our
current selection (as the changed event doesn't propagate since we are
already trying to update).

This is a quick workaround that just does a final pass to read the new
value and reapply the check if necessary.
Comment 2 Christian Hergert 2016-05-07 09:38:44 UTC
Attachment 327431 [details] pushed as 3b7f902 - prefs: prevent deselection of radio in option group