Extensão de consulta de pesquisa - estilo e opções de destaque
Se você deseja pesquisar em um documento de texto grande com muitas palavras, pode usar esta extensão. Realce o termo de pesquisa em várias seções usando a função desejada, por exemplo, usando o cursor e pressione Enter para encontrar o próximo termo.
O texto realçado pode ser reutilizado e será adicionado ao histórico automaticamente . Você pode abrir o histórico de consultas pressionando Shift + Enter. Isso também pode ser usado para encontrar os resultados anteriores. A página de opções oferece a possibilidade de alterar o estilo de destaque, incluir ou excluir palavras específicas da consulta, incluir subconsultas e desativar o salvamento automático da consulta de pesquisa.
