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

Solve conflict

Browse Source
This commit is contained in:
kalbl
2016-11-23 13:34:38 +01:00
parent 5a6b076507 683fc8ee53
commit a617261bde
130 changed files with 2737 additions and 4309 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/common.lua
View File

@@ -14,7 +14,7 @@ helper.scheduledScript.reversible = {}
helper.setCommonKeys = function()
openspace.bindKeyLocal(
"F1",
"openspace.gui.toggle()",
helper.property.invert('Global Properties.OnScreenGUI.Main.enabled'),
"Toggles the visibility of the on-screen GUI."
)
openspace.bindKeyLocal(