de.jreality.plugin.scripting

Class PythonGUIManager