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