workspaces

Graviton's workspaces are a way to organize some folders in a unic group, you can also configure unique settings for this workspace, like font's size, app's theme, etc.

How can I create one?

1. Open a folder
2. Add more folders ( File > Workspaces > Add Folder to Workspace )
3. Create the workspace ( File > Workspaces > Save Workspace). If it's the first time it will prompt you to select a location and then a name for it.

How can I open them?

From the Welcome window go under the "Workspaces" section and there you have your configured workspaces.

By right-clicking on them you can rename or remove them from the registry.

How can I add unique settings?

Graviton's workspaces are basically JSON files.

Example:

{
	"name": "My workspace",
	"folders": [
		{
			"name": "Folder1",
			"path": "/location/folder1"
		},
		{
			"name": "Folder2",
			"path": "/location/folder2"
		},
	]
}

To add custom settings we only need to add a new property named settings and inside add our custom settings.

Example:

{
	"name": "My workspace",
	"folders": [
		{
			"name": "Folder1",
			"path": "/location/folder1"
		},
		{
			"name": "Folder2",
			"path": "/location/folder2"
		},
	],
	"settings":{
		"appTheme":"Arctic",
		"editorFontSize": 14
	}
}

This settings will only be applied when the workspace is opened