Skip to main content

Ctrl+K

devctrl
prsctrl
prsctrl_gui
Device Management
Task System

devctrl
prsctrl
prsctrl_gui
Device Management
Task System

Section Navigation

prsctrl_gui.app_state
prsctrl_gui.devices
- prsctrl_gui.devices.DebugShutter
prsctrl_gui.emailtest
prsctrl_gui.gui
- prsctrl_gui.gui.main_window
  - prsctrl_gui.gui.main_window.print_widget_size_tree
  - prsctrl_gui.gui.main_window.MainWindow
- prsctrl_gui.gui.widgets
prsctrl_gui.init
- prsctrl_gui.init.run
prsctrl_gui.main
- prsctrl_gui.main.find_icon_and_store
prsctrl_gui.measurement
prsctrl_gui.resources
- prsctrl_gui.resources.get_resource_path
- prsctrl_gui.resources.get_resource_path_from
prsctrl_gui.task
prsctrl_gui.translation
- prsctrl_gui.translation.keys
prsctrl_gui.utility
- prsctrl_gui.utility.config
prsctrl_gui.version

prsctrl_gui
prsctrl_gui.gui
prsctrl_gui.gui.widgets
prsctrl_gui.gui.widgets.settings

prsctrl_gui.gui.widgets.settings#

.AppSettings: Application settings widget for prsctrl_gui

previous

prsctrl_gui.gui.widgets.menubar.MenuBar

next

prsctrl_gui.gui.widgets.settings.app_settings

© Copyright 2026, Matthias Quintern.

Created using Sphinx 9.1.0.

Built with the PyData Sphinx Theme 0.20.0.