Closed hkollmann closed 7 years ago
file.getParamNames and then the widget is merged. This leads to an error if the widget has not getParamNames.
This patch correct this
great, thanks @hkollmann
file.getParamNames and then the widget is merged. This leads to an error if the widget has not getParamNames.
This patch correct this