Roberto Vidal 3507bcb97a Adds support for multiple editor workspaces on initialization ...

This is a quick, partial fix for #1104

2019-04-14 10:04:38 +02:00

..

heavy_tests

Adds support for multiple editor workspaces on initialization

2019-04-14 10:04:38 +02:00