Flipping dominos example interactivity: override Button to skip propagation in certain cases.

Author: Zerline

examples/dominos/flipping_dominos.py

@@ -3,7 +3,7 @@
 
 from .flipping_aztecdiamond import *
 from sage_widget_adapters.graphs.graph_grid_view_adapter import GraphGridViewAdapter
-from sage_combinat_widgets.grid_view_widget import GridViewWidget, ButtonCell, BlankButton, styled_button_cell
+from sage_combinat_widgets.grid_view_widget import GridViewWidget, ButtonCell, BlankButton, StyledButtonCell
 from ipywidgets import Layout
 from traitlets import dlink, HasTraits, Bool, observe, All
 from contextlib import contextmanager
@@ -143,6 +143,32 @@ def unlink(self):
             source[0].unobserve(self._update, names=source[1])
         self.double_source, self.target = None, None
 
+
+class MyStyledButtonCell(StyledButtonCell):
+    def _handle_msg(self, msg):
+        r"""
+        Override needed to prevent propagation
+        when a domino is pressed, in some cases.
+        """
+        data = msg['content']['data']
+        if data['method'] != 'update' or not 'state' in data or ('buffer_paths' in data and data['buffer_paths']):
+            super(FlippinDominosWidget)._handle_msg(msg)
+        state = data['state']
+        try:
+            self.set_state(state)
+        except:
+            pass
+
+
+def my_styled_button_cell(disabled=False, style_name='', addable=False):
+    class_name = "{}Button".format(style_name.capitalize())
+    if disabled:
+        class_name = "Disabled" + class_name
+    elif addable:
+        class_name = "Addable" + class_name
+    return type(class_name, (MyStyledButtonCell,), {'disable': disabled, 'css_class': style_name, 'addable': addable})
+
+
 class Domino(HasTraits):
     r"""Objet non représenté en lui-même, les 2
     boutons qu'il contient étant, eux, des widgets"""
@@ -250,19 +276,16 @@ def __init__(self, g, css_classes=['b0', 'b1', 'b2', 'b3', 'b4']):
         with flipping aztec diamond graph `g`
         """
         self.css_classes = css_classes
-        #self.resetting = None
-        #self.resetting = True
         super(FlippingDominosWidget, self).__init__(g, adapter = FlippingDominosAdapter(),
                                             cell_layout = smallblyt,
-                                            cell_widget_classes=[styled_button_cell(),
-                                                                 styled_button_cell(style_name='b1'),
-                                                                 styled_button_cell(style_name='b2'),
-                                                                 styled_button_cell(style_name='b3'),
-                                                                 styled_button_cell(style_name='b4'),
+                                            cell_widget_classes=[my_styled_button_cell(),
+                                                                 my_styled_button_cell(style_name='b1'),
+                                                                 my_styled_button_cell(style_name='b2'),
+                                                                 my_styled_button_cell(style_name='b3'),
+                                                                 my_styled_button_cell(style_name='b4'),
                                             ],
                                             cell_widget_class_index=make_cell_widget_class_index(g),
                                             blank_widget_class = BlankButton)
-        self.resetting_cells = []
 
     def draw(self):
         self.dominos = {}
@@ -312,7 +335,6 @@ def set_cell(self, change):
             print("set_cell()", change.name, change.old, change.new)
         else:
             print("set_cell()", change.name)
-        # Try to reset everything right now to avoid unwanted propagations
         click_pos = extract_coordinates(change.name)
         domino = self.domino_for_position(click_pos)
         if not domino: # or domino.donottrack: