mirror of
https://gitee.com/zhangsken/AndroidIDE.git
synced 2026-10-16 07:49:44 +08:00
191883c887
This is caused due to setSeletion(Range) being called on a background thread (fixes #1248).