experimentally setting minimizeReflow:'all' for themes/gui.js to avoid the flicker bug in iOS after opening the keyboard.