Re: [Github-comments] [geany/geany-plugins] How to make "Mark all occurrences of a word when double-clicking it" case insensitive (#801)