https://bugs.kde.org/show_bug.cgi?id=379669
--- Comment #38 from Thomas Schöps <tom.scho...@gmail.com> --- Yes, I could imagine that there are such problems and the procedure that you describe might be better. But I am not knowledgeable enough about the KDevelop architecture to make any well-informed decisions here. What I can tell is that my workaround "works for me" (TM), at least I haven't seen related issues since I started using it, and thus I proposed a merge request for it now since it appears that it at least improves over the current situation: https://invent.kde.org/kde/kdevelop/merge_requests/61 -- You are receiving this mail because: You are watching all bug changes.
