ups, sorry, hadn't noticed that it was another repository than the first time. Installed the version ubuntu4~pp11 and it's working fine. -- Kile forgets shortcuts randomly https://bugs.launchpad.net/bugs/348662 You received this bug notification because you are a member of Kubuntu Bugs, which is subscribed to kile in ubuntu.