Closed hermanzdosilovic closed 5 years ago
There are currently three editors: source code, input and output editor. Each of them cannot be resized.
It would be great if each editor could be resized. Source code editor in up/down direction, and input and output editor in left/right direction.
I am interested. Can I make a PR?
@manaswinidas of course!
There are currently three editors: source code, input and output editor. Each of them cannot be resized.
It would be great if each editor could be resized. Source code editor in up/down direction, and input and output editor in left/right direction.