{
    "open": { "tooltip": "Open file" },
    "saveAs": { "tooltip": "Download file" },
    "stop": { "tooltip": "Stop everything" },
    "run": { "tooltip": "Download and run this program" },
    "repl": { "tooltip": "Start REPL in terminal" },
    "bluetooth": {
        "connect": { "tooltip": "Connect using Bluetooth" },
        "disconnect": { "tooltip": "Disconnect Bluetooth" }
    },
    "flash": { "tooltip": "Flash hub firmware" },
    "settings": { "tooltip": "Settings" }
}