keyboard: Write out the settings when leaving the page
Otherwise if users just click next without editing the default input sources list they'll end up with an empty setting. https://bugzilla.gnome.org/show_bug.cgi?id=700535
parent
60e4fdc3
Otherwise if users just click next without editing the default input sources list they'll end up with an empty setting. https://bugzilla.gnome.org/show_bug.cgi?id=700535