search

leanprover-community / lean4web

The Lean 4 web editor
https://live.lean-lang.org/
Apache License 2.0
52 stars 14 forks source link

Surround selection with brackets does not work #14

Closed abentkamp closed 6 months ago

abentkamp commented 6 months ago

Fixed in 0b1d361673a5d727110637c94294ae0e729b5b60