Is your feature request related to a problem? Please describe.
When double clicking a dashed symbol, it selects only the substring between the dashes, instead of the whole symbol, it differs from cursive.
Describe the solution you'd like
When double clicking a symbol with dashes, the whole symbol name is selected
Is your feature request related to a problem? Please describe. When double clicking a dashed symbol, it selects only the substring between the dashes, instead of the whole symbol, it differs from cursive.
Describe the solution you'd like When double clicking a symbol with dashes, the whole symbol name is selected
Describe alternatives you've considered
Additional context