search

leanprover / verso

Lean documentation authoring tool
Apache License 2.0
125 stars 14 forks source link

fix: double-scrolling in Chrome #218

Closed david-christiansen closed 1 month ago

david-christiansen commented 1 month ago

Supersedes #211 based on discussions in the thread.