The upstream report dies not explicitly say that the shortcuts don't work after pressing OK, but the settings are removed from the file. It says after restarting, the shortcuts have vanished in kile.
-- Kile forgets shortcuts randomly https://bugs.launchpad.net/bugs/348662 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
