[PR #11395] Fix type of id in focusPane action in setttings schema #28550

Open
opened 2026-01-31 09:29:15 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/11395

State: closed
Merged: Yes


Summary of the Pull Request

The type of the "id" argument of the focusPane action under "actions" in the settings.json schema was incorrectly set to a string.
It's actually expecting a non-negative number, and defaults to 0.
So I fixed the schema.

PR Checklist

Detailed Description of the Pull Request / Additional comments

Validation Steps Performed

I've validated that a string makes Windows Terminal complain it's a string and not a number, and that a number works as expected, and that the default is indeed zero.

**Original Pull Request:** https://github.com/microsoft/terminal/pull/11395 **State:** closed **Merged:** Yes --- ## Summary of the Pull Request The type of the `"id"` argument of the `focusPane` action under `"actions"` in the `settings.json` schema was incorrectly set to a string. It's actually expecting a non-negative number, and defaults to 0. So I fixed the schema. ## PR Checklist * [x] Closes #11393 * [x] CLA signed * [ ] Tests added/passed * [ ] Documentation updated * [x] Schema updated. * [ ] I've discussed this with core contributors already. If not checked, I'm ready to accept this work might be rejected in favor of a different grand plan. ## Detailed Description of the Pull Request / Additional comments ## Validation Steps Performed I've validated that a string makes Windows Terminal complain it's a string and not a number, and that a number works as expected, and that the default is indeed zero.
claunia added the pull-request label 2026-01-31 09:29:15 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#28550