eht16 left a comment (geany/geany#4481) I put it a bit of rationale about my simple approach in https://github.com/geany/geany/issues/4480#issuecomment-3614137676.
But since you already did the better solution, I'm fine to use it :). I think ideally there would be a filter entry like in the Plugin manager dialog or the keybindings filter entry. But that is another story and maybe not worth the efforts for this kind of dialog. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4481#issuecomment-3617500881 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4481/[email protected]>
