Issues

• How disable JBCef

  onriv/lean4ij#226 · Filter by author Jean-Luc-Picard-2021 opened on Oct 26, 2026

• lean server (4.30) crashed: Stream closed

  onriv/lean4ij#223 · Filter by author tribbloid opened on Jun 3, 2026

• kotlinx.coroutines.channels.ClosedReceiveChannelException: Channel was closed

  onriv/lean4ij#209 · Filter by author tribbloid opened on Jan 19, 2026
  1

• Support 2024.1?

  onriv/lean4ij#190 · Filter by author onriv opened on Nov 24, 2025

• No pull request on release workflow

  onriv/lean4ij#189 · Filter by author onriv opened on Nov 24, 2025

• Move ktor and browser-infoview into a submodule

  onriv/lean4ij#188 · Filter by author tribbloid opened on Nov 1, 2025
  1

• Remove LeanLanguageServerLifecycleListener

  onriv/lean4ij#183 · Filter by author onriv opened on Oct 8, 2025

• NullPointerException: getForegroundColor(...) must not be null

  onriv/lean4ij#170 · Filter by author tribbloid opened on Aug 3, 2025
  1

• Add missing keywords to Lean4 grammar files

  onriv/lean4ij#166 · Filter by author MetaflameDragon opened on Jul 25, 2025
  2

• exception in 0.2.4

  onriv/lean4ij#148 · Filter by author onriv opened on Mar 27, 2025

• auto-implicit inlay hint issues

  onriv/lean4ij#144 · Filter by author onriv opened on Mar 8, 2025

• Exceptions in 0.2.2

  onriv/lean4ij#143 · Filter by author onriv opened on Mar 5, 2025
  1

• build infomation should output to infoview rather than build window

  onriv/lean4ij#140 · Filter by author onriv opened on Mar 2, 2025

• Complete items only show signature after selected

  onriv/lean4ij#135 · Filter by author onriv opened on Feb 16, 2025

• java.lang.IllegalArgumentException: Incorrect offsets: start=-1; end=-1

  onriv/lean4ij#134 · Filter by author onriv opened on Feb 16, 2025

• java.lang.Throwable: Write-unsafe context! Model changes are allowed from write-safe contexts only.

  onriv/lean4ij#133 · Filter by author onriv opened on Feb 16, 2025

• Add support for creating lean file

  onriv/lean4ij#132 · Filter by author onriv opened on Feb 16, 2025

• hover highlight should exclude some node in psi

  onriv/lean4ij#117 · Filter by author onriv opened on Jan 22, 2025

• lake related tool window like cargo/maven/gradle

  onriv/lean4ij#115 · Filter by author onriv opened on Jan 22, 2025

• lean highlight colorscheme setting page

  onriv/lean4ij#114 · Filter by author onriv opened on Jan 22, 2025

• infoview tool window icon not same color in dark theme

  onriv/lean4ij#112 · Filter by author onriv opened on Jan 22, 2025

• release workflow should fail directly if version contains beta

  onriv/lean4ij#109 · Filter by author onriv opened on Jan 20, 2025

• support breadcrumb for lean file

  onriv/lean4ij#107 · Filter by author onriv opened on Jan 20, 2025

• internal infoview is replacable

  onriv/lean4ij#95 · Filter by author onriv opened on Dec 22, 2024

• Context menu specific for lean

  onriv/lean4ij#94 · Filter by author onriv opened on Dec 21, 2024