Estou no Ubuntu 14.04 e há meia hora resolvi acidentalmente (enquanto tentava CTRL + f encontrar algo no Chrome) abrir uma janela de pesquisa pop-up que nunca vi antes. Eu acho que tinha um fundo transparente de cor verde-escura, uma barra de pesquisa e cantos arredondados. Parecia muito fora do lugar com o habitual layout gráfico do Ubuntu. Eu acho que o título tinha algo a ver com funções. Fechei rapidamente porque estava no meio de alguma coisa, mas fiquei muito curioso. Tentei pesquisar várias combinações de palavras-chave no Google, mas sem sucesso. Alguma ideia do que poderia ter sido?