advice2020 left a comment (geany/geany-plugins#1567) @Skif-off I apologize I am not sure I follow. Are you saying that there is a way to set how this `Addons` plugin double click setting marks text? The idea is that this double click setting feature is very convenient but lacks ability the ability to turn off case sensitivity.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/issues/1567#issuecomment-4755902906 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/issues/1567/[email protected]>
