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. -- kubuntu-bugs mailing list kubuntu-b...@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/kubuntu-bugs
