Julian lean.nvim General · Discussions · GitHub

Question about modifying infoview window
General zaxioms0

Sort by: Latest activity

General Discussions

Chat about anything and everything here

You must be logged in to vote

Lean for vim9

castedo started Jan 17, 2026 in General

4
You must be logged in to vote

Infoview window position after closing a lean buffer

blindFS started Dec 23, 2025 in General

5
You must be logged in to vote

Why isn't {} a part of the syntax highlight leanEncl group?

nguyenvukhang started Oct 14, 2025 in General

2
You must be logged in to vote

How to add border to abbreviation help info

ATMxsp01 started Nov 30, 2024 in General

2
You must be logged in to vote

Question about modifying infoview window

zaxioms0 started Apr 7, 2022 in General

3