Nova opção na pesquisa lateral

Visando melhorar o desempenho da pesquisa no menu lateral esquerdo, incluído um novo campo em "Opções do aplicativo" na "Configuração de pesquisa" onde é possível configurar quais são os módulos que serão pesquisados por padrão quando a opção "Tudo" for escolhida na pesquisa. Escolhendo somente os módulos necessários o tempo de resposta da pesquisa será bem mais rápido.