mirror of
https://github.com/harivansh-afk/ds1001_final.git
synced 2026-04-17 11:04:56 +00:00
18 lines
522 B
JSON
18 lines
522 B
JSON
{
|
|
"title": "Notebook checkpoint indicator",
|
|
"description": "Notebook checkpoint indicator",
|
|
"jupyter.lab.toolbars": {
|
|
"TopBar": [{ "name": "checkpoint", "rank": 20 }]
|
|
},
|
|
"properties": {
|
|
"checkpointPollingInterval": {
|
|
"type": "number",
|
|
"title": "Checkpoint Polling Interval (seconds)",
|
|
"description": "How often to check for checkpoints (in seconds). Set to 0 to disable polling.",
|
|
"default": 30,
|
|
"minimum": 0
|
|
}
|
|
},
|
|
"additionalProperties": false,
|
|
"type": "object"
|
|
}
|