mirror/OpenSpace
1
0
Fork 0
mirror of https://github.com/OpenSpace/OpenSpace.git synced 2026-01-06 03:29:44 -06:00
Code Issues Packages Projects Releases Wiki Activity

Update WebGUI hash

Browse Source
This commit is contained in:
Alexander Bock
2024-07-18 13:59:05 +02:00
parent 91cf916321
commit e46cb269d0
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
data/assets/default_keybindings.asset
View File

@@ -274,10 +274,10 @@ asset.onDeinitialize(function()
openspace.action.removeAction(ReloadGui)
openspace.clearKey("Shift+Up")
openspace.actiion.removeAction(DateToNowImmediate)
openspace.action.removeAction(DateToNowImmediate)
openspace.clearKey("Up")
openspace.actiion.removeAction(DateToNowInterpolate)
openspace.action.removeAction(DateToNowInterpolate)
openspace.clearKey("Shift+Down")
openspace.action.removeAction(RealTimeDeltaStepImmediate)

2
data/assets/util/webgui.asset
View File

@@ -4,7 +4,7 @@ local guiCustomization = asset.require("customization/gui")
-- Select which commit hashes to use for the frontend and backend
local frontendHash = "654c79e7f30e61249b93be509758ac675022e5f3"
local frontendHash = "95ed7fb5853d27d2b879f6f409f3101a018e03ce"
local frontend = asset.resource({
Identifier = "WebGuiFrontend",