Skip to content

Conversation

andyleejordan
Copy link
Member

But turn it on in ISE mode.

Fixes #4932.

@andyleejordan andyleejordan requested a review from a team February 28, 2024 22:49
@andyleejordan andyleejordan added Issue-Enhancement A feature request (enhancement). Area-Command Explorer labels Feb 28, 2024
Copy link
Collaborator

@SeeminglyScience SeeminglyScience left a comment

Choose a reason for hiding this comment

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

LGTM!

@andyleejordan andyleejordan added this pull request to the merge queue Feb 29, 2024
Merged via the queue into main with commit a057251 Feb 29, 2024
@andyleejordan andyleejordan deleted the turn-off-command-explorer branch February 29, 2024 21:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area-Command Explorer Issue-Enhancement A feature request (enhancement).
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Command Explorer should be hidden by default
2 participants