rem: console.ui["menu_initAtStartup"].setAttribute ("checked", 
add: console.ui["menu_InitAtStartup"].setAttribute ("checked", 
context: function con_showdebug (){    console.ui["menu_initAtStartup"].setAttribute ("checked",                                                   console.jsds.initAtStartup);    var check;        switch (getThrowMode())    {        case TMODE_IGNORE:            check = "menu_TModeIgnore";            break;        case TMODE_TRACE:            check = "menu_TModeTrace";            break;        case TMODE_BREAK:            check = "menu_TModeBreak";            break;    }        var menu = console.ui["menu_TModeIgnore"];    console.ui["menu_TModeIgnore"].setAttribute("checked",                                                "menu_TModeIgnore" == check);    console.ui["menu_TModeTrace"].setAttribute("checked",                                               "menu_TModeTrace" == check);    console.ui["menu_TModeBreak"].setAttribute("checked",                                               "menu_TModeBreak" == check);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/64f0128f805d7f7a53819c408a30c765aa23f1fc/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js