mirror/OpenSpace
1
0
Fork 0
mirror of https://github.com/OpenSpace/OpenSpace.git synced 2026-05-01 00:09:58 -05:00
Code Issues Packages Projects Releases Wiki Activity

Issue/1299 (#1312)

Browse Source 
Change profile file format from a custom one to JSON
This commit is contained in:
Alexander Bock
2020-10-09 17:32:30 +02:00
committed by GitHub
parent 660d2b6311
commit 50a456b87f
161 changed files with 2366 additions and 1766 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/profile/error/keybinding/wrongvalue_modifier.profile
+29
View File
@@ -0,0 +1,29 @@
{
"version": { "major": 12, "minor": 13 },
"keybindings": [
{
"key": "Keykey+F",
"documentation": "T documentation",
"name": "T name",
"gui_path": "T Gui-Path",
"is_local": true,
"script": "T script"
},
{
"key": "U",
"documentation": "U documentation",
"name": "U name",
"gui_path": "U Gui-Path",
"is_local": false,
"script": "U script"
},
{
"key": "CTRL+V",
"documentation": "CTRL+V documentation",
"name": "CTRL+V name",
"gui_path": "UCTRL+V Gui-Path",
"is_local": false,
"script": "CTRL+V script"
}
]
}