I also tried to replace the /usr/share/X11/xkb/symbols/il with the version from git linked here and reboot. Now, when I use the gnome tool for displaying keyboard layouts I see the numbers in place, but they do not work. Pressing the number keys in lyx layout still does not work.
I also tried to replace the /usr/share/ X11/xkb/ symbols/ il with the version from git linked here and reboot. Now, when I use the gnome tool for displaying keyboard layouts I see the numbers in place, but they do not work. Pressing the number keys in lyx layout still does not work.
Is there a way to solve this?