From c3e88001e4312faff1b12461c5b526ea68b23b93 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vin=C3=ADcius?= Date: Fri, 21 Jan 2022 18:04:49 -0300 Subject: [PATCH] logitech_receiver: add has_element to NamedInts --- lib/logitech_receiver/common.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/logitech_receiver/common.py b/lib/logitech_receiver/common.py index f37a4740..31deee99 100644 --- a/lib/logitech_receiver/common.py +++ b/lib/logitech_receiver/common.py @@ -228,6 +228,9 @@ class NamedInts: def __or__(self, other): return NamedInts(**self.__dict__, **other.__dict__) + def has_element(self, value): + return self[value] == value + class UnsortedNamedInts(NamedInts): def _sort_values(self):