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));
     }
 }