Thanks,  that worked nicely. New splash screen and gui too.... I thought I was 
supposed to use the jaunty version, but never mind.
I tested again with three files, that all crashed previously, and it seemed to 
work fine. However I wrote that two posts ago, so I will again keep you posted 
how it turns out in everyday usage.
Thanks for your help and you work. Very assume

-- 
kile random crash losing data
https://bugs.launchpad.net/bugs/308246
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

Reply via email to