X-Git-Url: https://git.donarmstrong.com/?p=x_full.git;a=blobdiff_plain;f=.mozilla%2Ffirefox%2Fdefault%2Fextensions%2Fitsalltext%40docwhat.gerf.org%2Fchrome%2Fcontent%2Fpreferences.js;fp=.mozilla%2Ffirefox%2Fdefault%2Fextensions%2Fitsalltext%40docwhat.gerf.org%2Fchrome%2Fcontent%2Fpreferences.js;h=0000000000000000000000000000000000000000;hp=8807595b7dfb907df00de86d6ef805ed6e33dd9f;hb=de3411215abf07131881782d5299fabf3d65cfda;hpb=cdb077134ec3e62704a2f6ee949755c7a140b87f diff --git a/.mozilla/firefox/default/extensions/itsalltext@docwhat.gerf.org/chrome/content/preferences.js b/.mozilla/firefox/default/extensions/itsalltext@docwhat.gerf.org/chrome/content/preferences.js deleted file mode 100644 index 8807595..0000000 --- a/.mozilla/firefox/default/extensions/itsalltext@docwhat.gerf.org/chrome/content/preferences.js +++ /dev/null @@ -1,81 +0,0 @@ -// @todo [6] [pref] Better strategy for getting the default editor: EDITOR env variable or view_source.editor.path -// @todo [8] [pref] Option to make the textarea uneditable when using editor. - -/** - * Open a filepicker to select the value of the editor. - */ -function pref_editor_select() { - var locale = document.getElementById("strings"); - - var pref_editor = document.getElementById('pref_editor'); - var nsIFilePicker = Components.interfaces.nsIFilePicker; - - var fp = Components.classes["@mozilla.org/filepicker;1"]. - createInstance(nsIFilePicker); - fp.init(window, - locale.getString('picker.window.title'), - nsIFilePicker.modeOpen); - fp.appendFilters(nsIFilePicker.filterApps); - - var initdir = Components.classes["@mozilla.org/file/local;1"]. - createInstance(Components.interfaces.nsILocalFile); - try { - initdir.initWithPath(pref_editor.value); - initdir = initdir.parent; - if (initdir.exists() && initdir.isDirectory()) { - fp.displayDirectory = initdir; - } - } catch(e) { - // Ignore error, the pref may not have been set or who knows. - } - - var rv = fp.show(); - var file; - var editor; - if (rv == nsIFilePicker.returnOK) { - file = fp.file; - pref_editor.value = file.path; - editor = document.getElementById('editor'); - editor.style.color = 'inherit'; - editor.style.backgroundColor = 'inherit'; - } -} - -function setHelp(text) { - var help = document.getElementById('help'); - while (help.firstChild) { - help.removeChild(help.firstChild); - } - var textnode = document.createTextNode(text); - help.appendChild(textnode); -} - -function pref_onload() { - var locale = document.getElementById("strings"); - document.getElementById('browse').focus(); - var editor; - var box; - var desc; - var textnode; - if (window['arguments'] && window['arguments'][0] && window['arguments'][0] == 'badeditor') { - editor = document.getElementById('editor'); - editor.style.color = 'black'; - editor.style.backgroundColor = '#fb4'; - box = document.getElementById('help'); - // Clean it out - while (box.firstChild) { - box.removeChild(box.firstChild); - } - desc = document.createElement('description'); - textnode = document.createTextNode(locale.getFormattedString('problem.editor', [editor.value])); - desc.appendChild(textnode); - desc.style.maxWidth = '18em'; - box.appendChild(desc); - - desc = document.createElement('description'); - textnode = document.createTextNode(locale.getString('mac.hint')); - desc.appendChild(textnode); - desc.style.maxWidth = '18em'; - box.appendChild(desc); - } -}