rem: if (window.userLevel != oldUserLevel) {  
add: if (selectedOption == "on") { AlterStyle("SPAN.noicons", "display", "none"); AlterStyle("SPAN.icons",   "display", "inline"); AlterStyle("IMG.icons",    "display", "inline"); AlterStyle("TR.icons",     "display", "table-row"); 
context: function UpdateSettings(selectName) {   //dump("UpdateSettings: "+selectName+"\n");   switch(selectName) {      case "level":         // Change icon display style in the style sheet         var oldUserLevel = window.userLevel;         window.userLevel = document.xmltform1.level.options[document.xmltform1.level.selectedIndex].value;         if (window.userLevel != oldUserLevel) {            //dump("UpdateSettings: userLevel="+window.userLevel+"\n");            if (window.userLevel == "advanced") {              AlterStyle("DIV.beginner",     "display", "none");              AlterStyle("DIV.intermediate", "display", "none");                     } else if (window.userLevel == "intermediate") {              AlterStyle("DIV.intermediate", "display", "block");              AlterStyle("DIV.beginner",     "display", "none");                     } else {              AlterStyle("DIV.beginner",     "display", "block");              AlterStyle("DIV.intermediate", "display", "block");            }         }         break;      case "icons":         var oldShowIcons = window.showIcons;         window.showIcons = document.xmltform1.icons.options[document.xmltform1.icons.selectedIndex].value;         if (window.showIcons != oldShowIcons) {            //dump("UpdateSettings: showIcons="+window.showIcons+"\n");                     if (window.showIcons == "on") {               AlterStyle("SPAN.noicons", "display", "none");               AlterStyle("SPAN.icons",   "display", "inline");               AlterStyle("IMG.icons",    "display", "inline");               AlterStyle("TR.icons",     "display", "table-row");            } else {               AlterStyle("SPAN.noicons", "display", "inline");               AlterStyle("SPAN.icons",   "display", "none");               AlterStyle("IMG.icons",    "display", "none");               AlterStyle("TR.icons",     "display", "none");            }         }         break;      case "windows":         // Change icon display style in the style sheet         window.windowsMode = document.xmltform1.windows.options[document.xmltform1.windows.selectedIndex].value;         //dump("UpdateSettings: windowsMode="+window.windowsMode+"\n");         break;      default:         //dump("UpdateSettings: Unknown selectName "+selectName+"\n");         break;   }   return false;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/10068ac9255ac9ebb5cfc1c02368dc0c58978f7e/XMLTermCommands.js/clean/extensions/xmlterm/ui/content/XMLTermCommands.js