I use the new package with jaunty rc, but the problem remains: kile always "forget" new settings for shortcuts!
I use the new package with jaunty rc, but the problem remains: kile always "forget" new settings for shortcuts!