Yes, it seems to be fixed indeed. At least I could not reproduce it on my machine anymore within two attempts (Before, the shortcuts did not just disappear randomly, but very reliably whenever I restarted the computer.).
Yes, it seems to be fixed indeed. At least I could not reproduce it on my machine anymore within two attempts (Before, the shortcuts did not just disappear randomly, but very reliably whenever I restarted the computer.).