advice2020 created an issue (geany/geany-plugins#1567) This `Addons` plugin contains a feature that allows user to double click on text to apply `Mark` highlights to all instances of that text in your current document. I noticed that unfortunately this feature does not have an option to ignore lettering case.
I am suggesting to add another sub setting to this feature that would allow user to be able to choose if want to ignore lettering case, similar to how this is available in Geany `Find` tool dialog. Thank you to anyone who reads this -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/issues/1567 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/issues/[email protected]>
