Thomas Martitz

What the heck, why a new PR? So much invaluable discussion in the old PR that won't be directly connected.

I approved #3176 a while ago, question is why it's not merged already :-)

Yea, a lot of changes that don't relate to local tags, true. Ideally these would all be separate PRs. It makes reviewing the necessary changes for local tags harder than...

Please separate PRs

I can't follow. Yesterday I tried to review the whole thing for the first time. I was striked how large the change has become since my initial, very coarse, look...

The "look for files that could be headers corresponding to this C file" is clearly a new feature that has *nothing* to do with local tags. I did not realize...

I appreciate the split, thanks @elextr IMO a PR doesn't have to be wholesale, especially not if it gets large and unwieldy. Development is done incrementally and this may reflect...

I'm not fundamentally opposed to the header patch (and I never that something like that). But I have concerns about the exact requirements and implementation that are better dealt with...

NAK from my side. Prof-Gnome might be an improvement over adwaita but it's still a bad default theme in my view. Everyone is free to chose a theme to their...

LGTM