Search results

Feature request: syntactic highlighting for expressions in the InfoView

enhancementNew feature or requestNew feature or request

Status: Open.

#379 In Julian/lean.nvim;

· ayhon opened on Feb 26, 2025

Split abbreviations into a separate plugin

enhancementNew feature or requestNew feature or request

Status: Open.

#376 In Julian/lean.nvim;

· vunhatchuong opened on Jan 21, 2025

Still show last compiled goal-state while <code>Processing file...</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#369 In Julian/lean.nvim;

· valeratrades opened on Dec 15, 2024

Feature request: Jump to corresponding file and line in trouble.nvim diagnostics

enhancementNew feature or requestNew feature or request

Status: Open.

#359 In Julian/lean.nvim;

· utensil opened on Oct 27, 2024

Provide option to unbind default &lt;Tab&gt; and &lt;CR&gt; bindings for abbreviation expansion

enhancementNew feature or requestNew feature or request

Status: Open.

#355 In Julian/lean.nvim;

· ElectronSutra opened on Oct 3, 2024

"CalcPanel" is not a supported Lean widget type.

enhancementNew feature or requestNew feature or request

Status: Open.

#352 In Julian/lean.nvim;

· jcommelin opened on Aug 29, 2024

Visual Indicator for Infoview pause

enhancementNew feature or requestNew feature or request

Status: Open.

#344 In Julian/lean.nvim;

· JadAbouHawili opened on Jul 5, 2024

lean.nvim emits logs on other files to ~/.local/state/nvim.log

bugSomething isn't workingSomething isn't working

Status: Open.

#343 In Julian/lean.nvim;

· MangoIV opened on Jul 4, 2024

Infoview tooltips should render their contents as markdown

bugSomething isn't workingSomething isn't working

Status: Open.

#329 In Julian/lean.nvim;

· Julian opened on Jan 14, 2024

(Re-)review / harmonize with the VSCode options

enhancementNew feature or requestNew feature or request

Status: Open.

#328 In Julian/lean.nvim;

· Julian opened on Jan 3, 2024

Improve <code>:Telescope loogle</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#317 In Julian/lean.nvim;

· hargoniX opened on Nov 6, 2023

Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows

enhancementNew feature or requestNew feature or request

infoviewRelates to infoviewRelates to infoview

Status: Open.

#315 In Julian/lean.nvim;

· Julian opened on Nov 5, 2023