well I can only confirm that the problem on my ubuntu 13.10 with gnome installed still exist.
an ugly workaround can be done with xkb of course. I added as a startup command/application through the startup application preferences the following command setxkbmap -layout "de,il" -option "grp:alt_shift_toggle" and disabled all gnome shortcuts to switch layout and left only one layout as option. (deleted the hebrew layout and left only the german one in this case)
(tried to do it also through xorg and /etc/default/keyboard and /etc/X11/xorg.conf.d/something but both gotten overwritten)
well I can only confirm that the problem on my ubuntu 13.10 with gnome installed still exist.
an ugly workaround can be done with xkb of course. I added as a startup command/application through the startup application preferences the following command setxkbmap -layout "de,il" -option "grp:alt_ shift_toggle" and disabled all gnome shortcuts to switch layout and left only one layout as option. (deleted the hebrew layout and left only the german one in this case) keyboard and /etc/X11/ xorg.conf. d/something but both gotten overwritten)
(tried to do it also through xorg and /etc/default/