Sorry for being late, I had several university exams to prepare and haven't had much free time lately.
Anyway, I've found the bug in the KDE bug tracker and have backported the patch to the version in Ubuntu Precise - I'm currently building a test package just to make sure everything is OK. (Temporarily assigning the bug to me so that others are aware). ** Changed in: kile (Ubuntu) Assignee: (unassigned) => Alessandro Menti (alessandro-menti) ** Bug watch added: KDE Bug Tracking System #289458 https://bugs.kde.org/show_bug.cgi?id=289458 ** Also affects: kile via https://bugs.kde.org/show_bug.cgi?id=289458 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Kubuntu Bugs, which is subscribed to kile in Ubuntu. https://bugs.launchpad.net/bugs/994498 Title: Kile crashes when it is closing To manage notifications about this bug go to: https://bugs.launchpad.net/kile/+bug/994498/+subscriptions -- kubuntu-bugs mailing list kubuntu-b...@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/kubuntu-bugs