20 lines
454 B
JSON
20 lines
454 B
JSON
{
|
|
"MicroPython.executeButton": [
|
|
{
|
|
"text": "▶",
|
|
"tooltip": "Run",
|
|
"alignment": "left",
|
|
"command": "extension.executeFile",
|
|
"priority": 3.5
|
|
}
|
|
],
|
|
"MicroPython.syncButton": [
|
|
{
|
|
"text": "$(sync)",
|
|
"tooltip": "sync",
|
|
"alignment": "left",
|
|
"command": "extension.execute",
|
|
"priority": 4
|
|
}
|
|
]
|
|
} |