Skip to content

suppress microphone and radio so they don't always pop up#6984

Merged
jwunderl merged 1 commit into
masterfrom
dev/jwunderl/hide-mic-and-radio
Jul 1, 2026
Merged

suppress microphone and radio so they don't always pop up#6984
jwunderl merged 1 commit into
masterfrom
dev/jwunderl/hide-mic-and-radio

Conversation

@jwunderl

Copy link
Copy Markdown
Member

with microsoft/pxt#11437 these would always pop up; make them search only so they don't take up space when useless, but still accessible if really need them (e.g. if add a bluetooth extension and really need to revert and add radio back i suppose)

@jwunderl jwunderl added this pull request to the merge queue Jul 1, 2026
Merged via the queue into master with commit 8bf7ce9 Jul 1, 2026
20 checks passed
@jwunderl jwunderl deleted the dev/jwunderl/hide-mic-and-radio branch July 1, 2026 17:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants