You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A text insert mode would mimic the behavior of the Windows insert key i.e. when a character is typed it overwrites the character ahead of it. Ideally there would be a keyboard shortcut to toggle insert mode as well.
This is useful for editing patterns written like "x--x---x--x--x-x".ring.tick = "x" since inserting text does not change the length of the pattern.
The text was updated successfully, but these errors were encountered:
ellapollack
changed the title
Feature Request: Text Insert Mode
Feature Request: Text Insert Mode on MacOS
Jul 7, 2023
ellapollack
changed the title
Feature Request: Text Insert Mode on MacOS
Feature Request: Shortcut for Insert/Overtype Mode on MacOS
Jul 7, 2023
A text insert mode would mimic the behavior of the Windows insert key i.e. when a character is typed it overwrites the character ahead of it. Ideally there would be a keyboard shortcut to toggle insert mode as well.
This is useful for editing patterns written like
"x--x---x--x--x-x".ring.tick = "x"
since inserting text does not change the length of the pattern.The text was updated successfully, but these errors were encountered: