{ "theme": "Flitter", "global_hotkeys": { "Space": "Split", "PageUp": "UndoSplit", "P": "Pause", "End": "DeleteSplit", "Backspace": "ResetAndSave", "Delete": "ResetAndDelete" }, "draw_background": true }