11
11
smallblyt = Layout (width = '12px' ,height = '12px' , margin = '0' , padding = '0' )
12
12
13
13
14
- class DominosAdapter (GraphGridViewAdapter ):
14
+ class FlippingDominosAdapter (GraphGridViewAdapter ):
15
15
16
16
remove_cell = None
17
17
18
- def set_cell (self , obj , pos , val = True , dirty = {}):
18
+ def set_cell (self , obj , pos , val , dirty = {}):
19
19
r"""
20
20
When we click on a graph cell,
21
21
we prepare a possible flip
@@ -234,15 +234,15 @@ def cell_widget_class_index(pos):
234
234
return cell_widget_class_index
235
235
236
236
237
- class DominosWidget (GridViewWidget ):
237
+ class FlippingDominosWidget (GridViewWidget ):
238
238
"""A widget with dominos"""
239
239
240
240
def __init__ (self , g ):
241
241
r"""
242
242
Init a flipping dominos widget
243
243
with flipping aztec diamond graph `g`
244
244
"""
245
- super (DominosWidget , self ).__init__ (g , adapter = DominosAdapter (),
245
+ super (FlippingDominosWidget , self ).__init__ (g , adapter = FlippingDominosAdapter (),
246
246
cell_layout = smallblyt ,
247
247
cell_widget_classes = [styled_button_cell (),
248
248
styled_button_cell (style_name = 'b1' ),
@@ -256,7 +256,7 @@ def __init__(self, g):
256
256
257
257
def draw (self ):
258
258
self .dominos = {}
259
- super (DominosWidget , self ).draw ()
259
+ super (FlippingDominosWidget , self ).draw ()
260
260
self .apply_matching (self .value .matching )
261
261
262
262
def update (self ):
0 commit comments