This repository has been archived by the owner on May 3, 2024. It is now read-only.

Resizeable editors #28

Open

ruheni opened this issue Aug 9, 2021 · 0 comments

ruheni commented Aug 9, 2021

Allow the user to drag and resize the editors

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.