def _update_param_grid_rows(self, grid: Gtk.Grid, params: Dict[str, pyspiel.GameParameter]): actual_grid_rows = num_grid_rows(grid) expected_num_rows = len(params) if expected_num_rows == actual_grid_rows: pass elif expected_num_rows < actual_grid_rows: # Remove for i in range(expected_num_rows, actual_grid_rows): label = grid.get_child_at(left=0, top=i) tv = grid.get_child_at(left=1, top=i) grid.remove(label) grid.remove(tv) else: # Add num_row_additions = expected_num_rows - actual_grid_rows for _ in range(num_row_additions): tv = make_row_entry(grid, "", lambda: Gtk.TextView(monospace=True)) tv.connect("key-press-event", self._on_param_change)
def grid_remove_all (grid: Gtk.Grid) -> None: for child in grid.get_children (): grid.remove (child)
def grid_remove_all(grid: Gtk.Grid) -> None: for child in grid.get_children(): grid.remove(child)