New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix/text switch #1722

Merged

whitphx merged 2 commits into main from fix/text-switch

Oct 31, 2023

Owner

whitphx commented Oct 30, 2023

Fix to call Emulator.switchTextEditor() only when necessary
Fix a comment

whitphx added 2 commits

October 31, 2023 01:05


          Fix to call Emulator.switchTextEditor() only when necessary

8b90cd3


          Fix a comment

3db155a

whitphx merged commit f0f832b into main

6 checks passed

whitphx deleted the fix/text-switch branch

October 31, 2023 02:18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet