Feature #3520037. Modify Ctrl+Double Click change so that does not trigger except for transition from character selection to word selection.
Feature #3520037. Modify Ctrl+Double Click change so that does not trigger
except for transition from character selection to word selection.

keperlia/foo-wsh-panel-mod.scintilla,keperlia/foo-wsh-panel-mod.scintilla,windoze/scintilla,keperlia/foo-wsh-panel-mod.scintilla,windoze/scintilla,windoze/scintilla,keperlia/foo-wsh-panel-mod.scintilla,windoze/scintilla,keperlia/foo-wsh-panel-mod.scintilla,keperlia/foo-wsh-panel-mod.scintilla,windoze/scintilla,windoze/scintilla,windoze/scintilla,windoze/scintilla