Page MenuHomePhabricator

Double-clicking a word that is the last bold word selects the bolding markup
Open, LowPublic

Description

Double-clicking a word in the editor normally selects the word, but if the word is followed by bolding markup, the bolding markup is selected instead. For example, double-clicking "word" in '''second word''' selects the last ''', not "word".

Event Timeline

Aklapper triaged this task as Low priority.Feb 10 2023, 12:05 PM

Seems to be an issue with the underlying C# /System.Windows.Forms.RichTextBox - https://stackoverflow.com/questions/69975808/double-click-selecting-words-separated-by-periods-like-i-a

I tried something along the lines of the code suggestion there but it caused more issues than it solved. Will need more thought.