[checkmk-commits] [tribe29/checkmk] 23032f: cmk/gui/wato/pages/global_settings.py: improve typing

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 23032f2de66dfc9578665c353c2249bf5e1a42b1 https://github.com/tribe29/checkmk/commit/23032f2de66dfc9578665c353c2249bf5… Author: Joerg Herbel <joerg.herbel(a)tribe29.com> Date: 2020-12-10 (Thu, 10 Dec 2020) Changed paths: M cmk/gui/plugins/wato/omd_configuration.py M cmk/gui/plugins/watolib/utils.py M cmk/gui/wato/pages/activate_changes.py M cmk/gui/wato/pages/global_settings.py M cmk/gui/watolib/changes.py M cmk/gui/watolib/config_domains.py M cmk/gui/watolib/global_settings.py Log Message: ----------- cmk/gui/wato/pages/global_settings.py: improve typing This is a preparation for reworking the search of the global settings in the setup menu. CMK-6537 Change-Id: I0e9e80227f20471a7005bcf8d232a15551218834