de.jreality.plugin.scripting

Class PythonGUIShrinker