diff --git a/frontend.ide.md b/frontend.ide.md new file mode 100644 index 0000000..ce24ade --- /dev/null +++ b/frontend.ide.md @@ -0,0 +1,26 @@ +* **Description**: Configures the IDE component on the frontend. +* **Subscribers**: *(none)* + +```json +{ + "key": "frontend.ide", + "scope": "websocket" +} +``` + +| Parameter | Type | Required | Description | +| ------------ |:--------:|:------------------:| --------------------------- | +| *autoSaveInterval* | `number` | | Saves the currently edited file at every *n* seconds automatically. | +| *showDeployButton* | `boolean` | | Displays the deploy button in the upper right corner of the IDE. | +| *deployButtonText* | `object` | | Customizes the status messages of the deploy button. It expects key-value pairs, where the possible keys are: `TODEPLOY`, `DEPLOYED`, `DEPLOYING`, `FAILED`. **Important**: You have set all of them, otherwise you will see empty buttons in the undefined states. | + +*** + +**Example**: +```json +{ + "key": "frontend.ide", + "scope": "websocket", + "showDeployButton": true +} +``` \ No newline at end of file