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
Would add a new keyboard shortcut that would switch to "extend" mode, so that pressing a decorated mark will extend the current selection, rather than replacing it. Note that the cursorless.keyboard.targeted.targetHat command already has a field called mode that can handle "extend", so we need to get the modal keyboard driver to use it
The text was updated successfully, but these errors were encountered:
Uh oh!
There was an error while loading. Please reload this page.
Would add a new keyboard shortcut that would switch to "extend" mode, so that pressing a decorated mark will extend the current selection, rather than replacing it. Note that the
cursorless.keyboard.targeted.targetHat
command already has a field calledmode
that can handle"extend"
, so we need to get the modal keyboard driver to use itThe text was updated successfully, but these errors were encountered: