devctrl.gui.devices#
In this file, parameter widgets are defined for each device type.
This is achieved by registering keyword arguments for each device parameter widget with the DeviceWidget class. If a new device is then added via DeviceWidget.get_widget(<device>), widgets are created dynamically based on the keywords here. This more complicated structure is necessary here, because the creation of the widgets generally requires access to the device handle (which is not available before the device is actually connected) to query the current parameters.
Functions
Helper function gets a value from a dictionary. |