disable filtering by host name when used in local settings

This commit is contained in:
iLLiCiTiT 2021-10-21 15:05:11 +02:00
parent 0c0809469c
commit d4729ab069

View file

@ -28,7 +28,7 @@ class LocalExperimentalToolsWidgets(QtWidgets.QWidget):
layout.addRow(empty_label)
experimental_defs = ExperimentalTools()
experimental_defs = ExperimentalTools(filter_hosts=False)
checkboxes_by_identifier = {}
for tool in experimental_defs.tools:
checkbox = QtWidgets.QCheckBox(self)