[PR #12687] Fix "Element not found" error during settings loading #29189

Closed
opened 2026-01-31 09:33:22 +00:00 by claunia · 0 comments
Owner

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

State: closed
Merged: Yes


This commit fixes a stray exception during settings loading,
caused by a failure to obtain the app's extension catalog.

PR Checklist

Validation Steps Performed

I'm unable to replicate the issue. ❌
However an error log was provided in #12305 with which
the function causing the exception could be determined.

**Original Pull Request:** https://github.com/microsoft/terminal/pull/12687 **State:** closed **Merged:** Yes --- This commit fixes a stray exception during settings loading, caused by a failure to obtain the app's extension catalog. ## PR Checklist * [x] Closes #12305 * [x] I work here * [x] Tests added/passed ## Validation Steps Performed I'm unable to replicate the issue. ❌ However an error log was provided in #12305 with which the function causing the exception could be determined.
claunia added the pull-request label 2026-01-31 09:33:22 +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#29189