changing theme require force close of gboard app. means that randomly your phone will lag and keyboard wont open from 5-10 seconds in random intervals. i bet nobody wants that.Can you add a provision for themes changing randomly and intervals. It will be great if you can , please