[BLUEJ-201] Editor: double-click selection has bad idea of words
When double-clicking on a word in the editor, it regards a dot as part of a word. So, for example "editor.click" is selected as one word.
Change this so that the dot delineates a word, and each part is selected separately.
Possibly also affects other symbols than the dot \- not sure.
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 3.0.0