public void dump(string dummy = null)
{
foreach (GuiControl c in controls)
{
string ctype = "";
if (c.control == null)
{
continue;
}
r2pw.output(string.Format("{0,12}|{1,12}|{2,20}|{3}",
c.tabTitle, c.cmds, c.name, ctype));
}
}