Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Support settings-view in docks #1115
Description of the Change
This improves the layout of the settings-view when moved to the left/right dock.
There are a few options for the navigation.
When moving the settings-view to a dock, it allows you to keep the editor in sight. Great when making changes to the settings and then see the result in the editor.