replace hovering by pressing: fix it on android, make the keyboard go down after a search on android
version 0.8.4