My original plan was to solve https://github.com/geany/geany/issues/728, and to study the root cause of that, so I thought it maybe handy to use this debug option. But if it is out-of-date then it is not quite useful. Then please ignore/remove the pull request and give me a hint how to solve it.
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1923#issuecomment-412752291
