Changeset 3566 for lang/javascript/userchrome
- Timestamp:
- 12/25/07 16:51:17 (13 months ago)
- Files:
-
- 1 modified
-
lang/javascript/userchrome/editonfavorite.uc.js (modified) (6 diffs)
Legend:
- Unmodified
- Added
- Removed
-
lang/javascript/userchrome/editonfavorite.uc.js
r3565 r3566 163 163 <prefpane label={NAME} id="pane1" onpaneload="onpaneload()"> 164 164 <preferences> 165 <preference id="pref-editor" name="extensions.userchromejs.EditOnFavorite.editor" type=" file"/>165 <preference id="pref-editor" name="extensions.userchromejs.EditOnFavorite.editor" type="string"/> 166 166 <preference id="pref-hotkey" name="extensions.userchromejs.EditOnFavorite.key" type="string"/> 167 167 </preferences> … … 170 170 <grid> 171 171 <columns> 172 <column/> 173 <column/> 172 <column/> <column/> 174 173 </columns> 175 174 <rows> 176 175 <row align="center"> 177 <label control="editor"value="Editor"/>176 <label value="Editor"/> 178 177 <hbox> 179 178 <filefield preference="pref-editor" id="pref-editor-field" flex="1" /> … … 199 198 var field = document.getElementById("pref-editor-field"); 200 199 if (file) { 200 file = IO.getFileWithPath(file); 201 201 field.file = file; 202 202 field.label = file.path; … … 206 206 function selectFile(id) { 207 207 var filePicker = Components.classes["@mozilla.org/filepicker;1"] 208 .createInstance(Components.interfaces.nsIFilePicker);208 .createInstance(Components.interfaces.nsIFilePicker); 209 209 filePicker.init(window, "Choose a file.", filePicker.modeOpen); 210 210 if (filePicker.show() == filePicker.returnOK) { … … 212 212 field.file = filePicker.file; 213 213 field.label = filePicker.file.path; 214 field.value = filePicker.file.path; 215 document.getElementById("pane1").userChangedValue(field); 214 216 } 215 217 } … … 219 221 e.stopPropagation(); 220 222 this.value = keyEventToStroke(e); 223 document.getElementById("pane1").userChangedValue(this); 221 224 } 222 225 ]]></script>
![(please configure the [header_logo] section in trac.ini)](/share/chrome/site/your_project_logo.png)