78
78
stack.add_titled (current_grid, page.number.to_string (), page.number.to_string ());
80
80
// Fake grids in case there are not enough apps to fill the grid
81
current_grid.attach (new Gtk.Grid (), 0, 0, (int)page.columns, (int)page.rows);
83
current_grid.attach (new Gtk.Grid (), column, row, 1, 1);
84
86
public void append (Gtk.Widget widget) {
87
90
current_grid.attach (widget, (int)current_col, (int)current_row, 1, 1);