Closed
Description
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
Metadata
Metadata
Assignees
Type
Projects
Status
✅ Done