@plait/core 0.79.0 → 0.80.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -5795,8 +5795,9 @@ function withHandPointer(board) {
5795
5795
  };
5796
5796
  board.keyDown = (event) => {
5797
5797
  if (event.code === ShortcutKey) {
5798
- if (!PlaitBoard.isPointer(board, PlaitPointerType.hand)) {
5798
+ if (!board.options.readonly && !PlaitBoard.isPointer(board, PlaitPointerType.hand)) {
5799
5799
  beingPressedShortcutKey = true;
5800
+ setSelectionOptions(board, { isDisabledSelection: true });
5800
5801
  PlaitBoard.getBoardContainer(board).classList.add('viewport-moving');
5801
5802
  }
5802
5803
  event.preventDefault();
@@ -5805,7 +5806,8 @@ function withHandPointer(board) {
5805
5806
  };
5806
5807
  board.keyUp = (event) => {
5807
5808
  if (!board.options.readonly && event.code === ShortcutKey) {
5808
- beingPressedShortcutKey = true;
5809
+ beingPressedShortcutKey = false;
5810
+ setSelectionOptions(board, { isDisabledSelection: false });
5809
5811
  PlaitBoard.getBoardContainer(board).classList.remove('viewport-moving');
5810
5812
  }
5811
5813
  keyUp(event);