Zulip Chat Archive

Stream: lean4

Topic: Using Loogle in Nvim


Michael Novak (Aug 30 2025 at 07:37):

I'm a new user, so I'm sorry if this is a stupid question:
I installed the telescope plugin for nvim and now I'm able to search loogle by the :Telescope loogle command, but when I find something how can I look into it? If I click it with the mouse it seems like nothing happen. How can I see the details, besides just the name that I found?

Yaël Dillies (Aug 30 2025 at 09:22):

Moved to #new members > Using Loogle in Nvim


Last updated: Dec 20 2025 at 21:32 UTC