rem: function UpdateSettings() { 
add: function UpdateSettings(selectName) { 
context: function UpdateSettings() {  var oldUserLevel = window.userLevel;  window.userLevel = document.xmltform1.level.options[document.xmltform1.level.selectedIndex].value;  var oldShowIcons = window.showIcons;  window.showIcons = document.xmltform1.icons.options[document.xmltform1.icons.selectedIndex].value;  window.windowsMode = document.xmltform1.windows.options[document.xmltform1.windows.selectedIndex].value;  dump("UpdateSettings: userLevel="+window.userLevel+"\n");  dump("UpdateSettings: windowsMode="+window.windowsMode+"\n");  dump("UpdateSettings: showIcons="+window.showIcons+"\n");  if (window.userLevel != oldUserLevel) {    // Change icon display style in the style sheet    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");    }  }  if (window.showIcons != oldShowIcons) {    // Change icon display style in the style sheet    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");    }  }  return false;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3e579f3b564ad3f77d4d52024df3d1a7a05b30c9/XMLTermCommands.js/clean/extensions/xmlterm/ui/content/XMLTermCommands.js