It seems it's gone away... well, all is fine :) Ps: in the android editor, when I have a lot of lines of code I can't scroll up nor down, it keeps selecting a block of code if I swipe, can be resolved somehow? Thank you!
As for scrolling on Android I'm thinking how to do it better, I can scroll the code editor on touch events and select only with mouse cursor events, or I can add toolbar button to switch mode scroll/select on mobile devices...
One reason keys may be permanently pressed may be if you're holding them down when you unfocus the window, that is sometimes an issue on some platforms.
