leanprover-community / lean4web

The Lean 4 web editor

https://live.lean-lang.org/

leanprover-community/lean4web Issues

[Windows] [Chrome] Cursor display position and input position are mismatched
Updated 3 months ago5
Feature Request: use different font
Closed 3 months ago12
feature request: import package
Closed 3 months ago3
bug: Japanese characters have an incorrect wrapping position.
Closed 3 months ago3
Feature Request: wrap on infoview boundaries
Closed 4 months ago4
bug: editor not updating until reloading page
Updated 4 months ago1
move Webeditor to a separate github package
Updated 4 months ago4
add non-linux support
Updated 4 months ago
bug: `.so` files not supported
Closed 7 months ago
Separate packages
Closed 7 months ago1
Comment highlighting
Updated 8 months ago
Tooltips have transparent background
Closed 8 months ago
Surround selection with brackets does not work
Closed 8 months ago1
infoview "copy message to comment" looses stuff
Closed 8 months ago2
Hamburger Menu opens when clicking on other menus
Updated 8 months ago
Off-by-one line status colors
Closed 8 months ago
Abbreviations do not work
Closed 8 months ago1
display versions
Closed 8 months ago1
Copy-Paste on mobile
Updated 9 months ago
no imports in dev-version
Closed 10 months ago1