function_updateCheckedState(name){var mapping = _optionMapping[name];if(!mapping){return;}
CommandManager.get(mapping).setChecked(PreferencesManager.get(name));} // Listen to preference changes for the preferences we care about
Object.keys(_optionMapping).forEach(function(preference){
PreferencesManager.on("change", preference,function(){_updateCheckedState(preference);});});