Closed 7eggert closed 3 years ago
When you open a minecraft world, initially no terminal tab is pre-selected. It's a minor inconvenience to click on the desired tab but I reliably try to use it without first doing so.
https://youtu.be/j7sMwnNdvwY
Thanks for the suggestion!
This has been implemented in the latest update.
Issue type:
Short description:
When you open a minecraft world, initially no terminal tab is pre-selected. It's a minor inconvenience to click on the desired tab but I reliably try to use it without first doing so.
https://youtu.be/j7sMwnNdvwY