Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Layout Improvements #2522
This removes the widely hated auto-maximise of panels and replaces it with a much simpler mechanism. It also fixes a longstanding circular reference bug in the panel menus, and does some refactoring that puts us in a better place to implement future layout improvements (floating editors, drag and drop etc).
Marking as pr-majorVersion because of 34e689c, but it would be totally possible to merge without that commit if you want to get it into a patch version.