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 "append" mode, so that pressing a decorated mark will add a new selection, rather than replacing it. Note that the cursorless.keyboard.targeted.targetHat action already has a field called mode that can handle "append", so we need to get the modal keyboard driver to use it
The text was updated successfully, but these errors were encountered:
Would add a new keyboard shortcut that would switch to "append" mode, so that pressing a decorated mark will add a new selection, rather than replacing it. Note that the
cursorless.keyboard.targeted.targetHat
action already has a field calledmode
that can handle"append"
, so we need to get the modal keyboard driver to use itThe text was updated successfully, but these errors were encountered: