Created frontend.ide (markdown)

ni-richard 2019-09-13 23:02:20 +02:00
parent f160464ba1
commit 478f0ca672

26
frontend.ide.md Normal file

@ -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
}
```