* Seleção de widgets melhorada (@TBog)
* (espero) corrige um problema com dispositivos Xiaomi e widgets
* Os pacotes de ícones usam agora formas (@marunjar)
* Mais opções para os tamanhos dos resultados
* Correcções de atalhos
