add:   var historyUrl = "";  var historyCount = 10; try { historyCount = gPrefs.getIntPref("editor.history.url_maximum"); } catch(e) {} if (historyCount) { historyUrl = GetUnicharPref("editor.history_url_0");   if (historyUrl && historyUrl == docUrl) historyUrl = GetUnicharPref("editor.history_url_1"); } SetElementEnabledById("menu_RecentFiles", historyUrl != ""); 
context: function EditorInitFileMenu(){  // Disable "Save" menuitem when editing remote url. User should use "Save As"  var scheme = GetScheme(GetDocumentUrl());  if (scheme && scheme != "file")    SetElementEnabledById("saveMenuitem", false);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3125ee369308cdc4bce00d1ca3cedd36f32ec5a0/editor.js/clean/editor/ui/composer/content/editor.js