resizable editor panes - Githubissues

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

resizable editor panes #1

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

The site http://www.tryfsharp.org/ has nice ideas.
http://rightjs.org/ui/resizable