Merge pull request #5827 from ynput/bugfix/uilabel-attr-def-label-uniqueness

UIDefLabel can be unique
This commit is contained in:
Jakub Trllo 2023-10-31 10:10:26 +01:00 committed by GitHub
commit 23ceec0067
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -237,8 +237,13 @@ class UISeparatorDef(UIDef):
class UILabelDef(UIDef):
type = "label"
def __init__(self, label):
super(UILabelDef, self).__init__(label=label)
def __init__(self, label, key=None):
super(UILabelDef, self).__init__(label=label, key=key)
def __eq__(self, other):
if not super(UILabelDef, self).__eq__(other):
return False
return self.label == other.label
# ---------------------------------------