Here is what I did to solve a similar problem (german layout): I reset the whole gnome config (dconf reset -f /org/gnome/), changed the layout to "de" and then back to "ch-de". Now it works as expected.
Here is what I did to solve a similar problem (german layout): I reset the whole gnome config (dconf reset -f /org/gnome/), changed the layout to "de" and then back to "ch-de". Now it works as expected.