# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1572198947 -3600
# Node ID bfab04d0a745e4d37e6b87d3877c34fd8b232916
# Parent  144bdf877d2180b264e6c4a9de64261f855990cc
ListOption: add __hash__ method

diff -r 144bdf877d21 -r bfab04d0a745 urwid_satext/sat_widgets.py
--- a/urwid_satext/sat_widgets.py	Tue Aug 13 08:55:41 2019 +0200
+++ b/urwid_satext/sat_widgets.py	Sun Oct 27 18:55:47 2019 +0100
@@ -410,6 +410,9 @@
         except AttributeError:
             return self._value != other
 
+    def __hash__(self):
+        return hash(self._value)
+
     @property
     def value(self):
         """ return option value """