-
-
Notifications
You must be signed in to change notification settings - Fork 399
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Disable widget dragging/splitting #940
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
@msujew @AlbyIanna @fstasi |
LGTM Ignore the following in favour of another separate issue
|
I am getting an error every time I click anywhere in the IDE. The error is thrown in the customized code. gh_940.mp4 |
Motivation
Closes #552
Change description
Removes all contributed commands which programmatically enable users to split editors. Also disables widget dragging so that it's not possible to split editors that way. I believe the dragging functionality hasn't been used anyway?
Reviewer checklist