Visual Indicator for Infoview pause

Assessment

Research direction

Description

Getting set up

First steps

1. Read the whole issue, then the project's contributing guide.
2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
3. Fork the repository and make your change on a branch.
4. Open a pull request that references the issue number.

More from Julian/lean.nvim

• Replace 'cross' glyph (✝️) with 'dagger' (†)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 66/100

  Julian/lean.nvim#560 · 2 comments · Opened Oct 9, 2026

• Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 88/100

  Julian/lean.nvim#555 · Opened Oct 3, 2026

• Getting `Vim:E95: Buffer with this name already exists` error with `lean://stderr` buffer

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 Half a day Newbie friendliness 35/100

  Julian/lean.nvim#562 · 1 comment · Opened Oct 9, 2026

• LSP does not restart on version upgrade

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  Julian/lean.nvim#554 · 7 comments · Opened Sep 27, 2026

• ProofWidgets GraphDisplay Not working

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 58/100

  Julian/lean.nvim#524 · Opened Jun 20, 2026

All issues in Julian/lean.nvim

Similar issues

• Heading section says only a blank line ends a heading, but any line that starts another block ends it

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 72/100

  jgm/djot#416 · Opened Oct 9, 2026

• [Operation Enhancement]: .editorconfigと.gitattributesでdictionaryとLuaファイルの編集・改行設定を統一する

  Possibly taken @5kdn claimed this today. Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 1/5 Under an hour Newbie friendliness 80/100

  5kdn/DCS-Translation-Japanese#163 · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• [Bug Report]

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  area/Cubelet area/CubeNet bug needs-triage needs:compliance

  Difficulty 2/5 1-3 hours Newbie friendliness 62/100

  TencentCloud/CubeSandbox#1917 · 1 comment · Opened Oct 9, 2026

  Maintainers usually reply within 1 day

• Describe read view creation throttling

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 72/100

  tarantool/doc#5738 · Opened Oct 9, 2026

• bug: LuaRocks installations are incomplete

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug help wanted

  Difficulty 2/5 1-3 hours Newbie friendliness 70/100

  S1M0N38/love2d.nvim#31 · Opened Oct 9, 2026

More Lua issues