devctrl.gui.devices

GUI support for devctrl.devices.

Key Components

• DeviceManagerWidget: Manage devices (add, change, remove) along with a list of all devices in DeviceWidget

• DeviceWidget: Displays information about the device, an icon, and a the device’s DeviceControlWidget

• DeviceControlWidget: Shows a list of all device functions (i.e. reading and writing values/settings)

• DeviceSettingsWidget: Manage the connection settings of a single device. Lets the user connect to one of the available devices.

  When using the DeviceManagerWidget, this widget is shown the icon of a device’s DeviceWidget is clicked.

Additional components:

• StartupWidget: Widget (and dialog) intendent for initially connecting all devices in convenient, efficient and transparent manner.

Device Parameter Definitions

Parameter widgets are defined for each device type in devctrl.gui.devices.__init__.py.

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

get_dict_value

Helper function gets a value from a dictionary.

auto_setter_getter
device	DeviceControlWidget and DeviceWidget.
device_manager	GUI functionality for DeviceManager.
device_selection