Skip to content

chore: Merge main into v13#9606

Merged
gonfunko merged 5 commits intov13from
main
Mar 2, 2026
Merged

chore: Merge main into v13#9606
gonfunko merged 5 commits intov13from
main

Conversation

@gonfunko
Copy link
Contributor

@gonfunko gonfunko commented Mar 2, 2026

The basics

The details

This PR merges the latest changes from main into the v13 branch. This includes the CTRL_CMD keycode we need for the move mode PR.

This should be a MERGE COMMIT.

* feat: Add dynamic keycode for primary modifier key

* fix: Don't duplicate constants.
* fix: Focus the nearest neighbor on block deletion

* test: Add tests

* fix: Use `strictEqual`

* chore: Reduce the number of test blocks

* fix: Explicitly verify that dying blocks are not focused

* fix: Fix exception when disposing of a workspace with a focused block

* chore: Run formatter
* feat: Add support for getting the contextual menu

* feat: Add a keyboard shortcut for opening the contextual menu

* test: Add tests for `ContextMenu.getMenu()`.

* test: Add tests for context menu keyboard shortcut

* fix: Fix tests when not run on their own

* chore: Add type annotation
@gonfunko gonfunko requested a review from maribethb March 2, 2026 18:09
@gonfunko gonfunko requested a review from a team as a code owner March 2, 2026 18:09
@github-actions github-actions bot added the PR: chore General chores (dependencies, typos, etc) label Mar 2, 2026
@maribethb
Copy link
Contributor

"No supported platform for closure compiler found" is haunting me. I thought I fixed this here #9575 (comment)

any ideas?

@gonfunko
Copy link
Contributor Author

gonfunko commented Mar 2, 2026

I think it just needs updating again? Unclear why v13 is different, but I've had that failure on all PRs against 13 and updating it resolves it. I can send another PR doing that after this one is merged?

Copy link
Contributor

@maribethb maribethb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

sgtm

@gonfunko gonfunko merged commit 43dfe2e into v13 Mar 2, 2026
12 of 18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: chore General chores (dependencies, typos, etc)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants