Now that the properties of a data source need to be accessible to every user (so the user may change non-read-only properties such as the encoding) I had to move them to a separate side panel, increasing the number of side panels to 5.
Furthermore, the outline and issues side panel has been improved to contain an empty state which is displayed when no outline / issues plugin is available for the data source.
Now that the properties of a data source need to be accessible to every user (so the user may change non-read-only properties such as the encoding) I had to move them to a separate side panel, increasing the number of side panels to 5.
Furthermore, the outline and issues side panel has been improved to contain an empty state which is displayed when no outline / issues plugin is available for the data source.