BetterOCaml icon indicating copy to clipboard operation
BetterOCaml copied to clipboard
verified publisher icon jbdoderlein

Slide bar between editor and top level is not handy

Open Butanium opened this issue 4 years ago • 1 comments

It's really hard to adjust the size of the top level on mobile as you can see in this video

Butanium avatar May 15 '21 08:05 Butanium

Also sometimes the top level just fill the whole screen for no reason

Butanium avatar May 15 '21 08:05 Butanium