A extensão Pesquisar no Firefox parece ser exatamente o que você está procurando para ( link do github ). Dê uma olhada na imagem da sua página:
Estou usando o Gnome 3.6 no Ubuntu 13.04.
Existe alguma maneira de pesquisar histórico / favoritos da Web (navegador web Gnome) diretamente da caixa de pesquisa?
Então, posso acessar o Windows, digitar askubuntu, obter o askubuntu.com no resultado e visitar o site?
A extensão Pesquisar no Firefox parece ser exatamente o que você está procurando para ( link do github ). Dê uma olhada na imagem da sua página: