https://bugs.kde.org/show_bug.cgi?id=419495
--- Comment #2 from Jean-Marc Sparenberg ---
(In reply to Christoph Feck from comment #1)
> Are these issues also visible with Beta 3?
Don't know: I just use the default version of Kile provided in the LTS
distribution, which is beta 1.
I&
available than Kile 3.
Would it be possible to get back to a stable version of Kile, which seems more
appropriate for a LTS distribution?
Many thanks in advance,
Jean-Marc Sparenberg
Brussels Free University (ULB)
STEPS TO REPRODUCE
1. Install Kubuntu 18.04
2. Install Kile
3. Run kile
OBSERVED
