static void TableAddRow (Table table, uint row, Widget column1, Widget column2)
{
uint rows = table.NRows;
Table.TableChild tr;
table.NRows = rows + 1;
foreach (var child in table.Children) {
tr = (Table.TableChild) table[child];
uint bottom = tr.BottomAttach;
uint top = tr.TopAttach;
if (top >= row && top < rows) {
tr.BottomAttach = bottom + 1;
tr.TopAttach = top + 1;
}
}
if (column1 != null) {
table.Add (column1);
tr = (Table.TableChild) table[column1];
tr.XOptions = (AttachOptions) 4;
tr.YOptions = (AttachOptions) 4;
tr.BottomAttach = row + 1;
tr.TopAttach = row;
tr.LeftAttach = 0;
tr.RightAttach = 1;
}
if (column2 != null) {
table.Add (column2);
tr = (Table.TableChild) table[column2];
tr.XOptions = (AttachOptions) 4;
tr.YOptions = (AttachOptions) 4;
tr.BottomAttach = row + 1;
tr.TopAttach = row;
tr.LeftAttach = 1;
tr.RightAttach = 2;
}
}