A Visual Studio Code extension to explorer and manage PLaTon resources and circles.
Instalation
Launch VS Code Quick Open (Ctrl+P or Cmd+P on MacOS) , paste the following command, and press enter:
ext install PLaTon.platon-editor
Or you can just search for "PLaTon Editor" in the Extensions view.
Requirements
Git
Usage
Click on the Visual Studio Code icon button on PLaTon application to open a resource with the editor.
Once opened you can use all the features of the editor.
To sync the files on your local machine with the server, launch VS Code Quick Open (Ctrl+P or Cmd+P on MacOS) , search for the command > PLaTon: Sync and press enter then the extension will pull the new contents from the server and push your edits.
At this step you may need to resolves edit conflicts on your local system.