> Hello, also i find bug: after switch languages, keyboard not working > > https://github.com/user-attachments/assets/dd4c3526-cba3-497a-ae6d-b0e3016b0557 _Originally posted by @Kryptonavr in [#328](https://github.com/LeanBitLab/LeanType/issues/328#issuecomment-5078147699)_
Originally posted by @Kryptonavr in #328