Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- public void append (Widget widget) {
- if (current_col == n_columns) {
- current_col = 0;
- current_row += 1;
- }
- if (current_row == n_rows) {
- pages++;
- current_row = 0;
- new_page ((pages + 1).to_string ());
- }
- debug (@"position: current_col: $current_col current_row: $current_row pages: $pages");
- attach (widget, current_col + (pages*n_columns - 1), current_col + (pages*n_columns - 1) + 1,
- current_row, current_row + 1, AttachOptions.EXPAND, AttachOptions.EXPAND,
- 0, 0);
- children.append (widget);
- current_col++;
- }
Add Comment
Please, Sign In to add comment