From 65d23bd022a0d08077fa994dcb7841fcdff56ed8 Mon Sep 17 00:00:00 2001 From: Christopher Lackner Date: Sat, 8 Jul 2023 23:58:48 +0200 Subject: [PATCH] add gui settings if not already added in ngsolve --- python/webgui.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/python/webgui.py b/python/webgui.py index 9f76e290..b7cef5f0 100644 --- a/python/webgui.py +++ b/python/webgui.py @@ -121,6 +121,8 @@ class WebGLScene(BaseWebGuiScene): if "fullscreen" in kwargs: d["fullscreen"] = kwargs["fullscreen"] + if "gui_settings" not in d: + d["gui_settings"] = self.kwargs["settings"] return d