OK, I made the proposed change and I also like this single checkbox better. I was just thinking about the name a bit more and found `[ ] Group by Type` more fitting so I used it. What do you think?
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3172#issuecomment-1229522946
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/3172/c1229522946@github.com