You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Dec 9, 2018. It is now read-only.
The Workspace tab of the Workspace Config editor unnecessarily wastes a lot of screen real estate for the first two sections. The only interesting content, the list of plugins, cannot be shown as there is not enough remaining space.
I suggest changing the layout so that Workspace and Plugin-Path only take the necessary space.
From my experience, most of the times there are plugins, but no plugin-paths specified. If that is generally true, the Plugins section could be moved up to appear before the Plugin-Paths section.
The text was updated successfully, but these errors were encountered:
The Workspace tab of the Workspace Config editor unnecessarily wastes a lot of screen real estate for the first two sections. The only interesting content, the list of plugins, cannot be shown as there is not enough remaining space.
I suggest changing the layout so that Workspace and Plugin-Path only take the necessary space.
From my experience, most of the times there are plugins, but no plugin-paths specified. If that is generally true, the Plugins section could be moved up to appear before the Plugin-Paths section.
The text was updated successfully, but these errors were encountered: