https://bugs.kde.org/show_bug.cgi?id=426419
Lukas Sommer <sommer...@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|BACKTRACE |---
Status|NEEDSINFO |REPORTED
--- Comment #3 from Lukas Sommer <sommer...@gmail.com> ---
Hi Milian.
Thanks for the quick reply. I could't test KDevelop 5.5.1 due to lack of
package. But I think you are right: This is a duplicate bug 417151 because
indeed it occurs exactly when hovering with the mouse over a part of source
code that should pop up a tool tip, just as described in bug 417151.
Should we close this one as duplicate?
--
You are receiving this mail because:
You are watching all bug changes.
