Show
Ignore:
Timestamp:
12/25/07 16:51:17 (13 months ago)
Author:
cho45
Message:

lang/javascript/userchrome/editonfavorite.uc.js:

設定が反映されるように

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • lang/javascript/userchrome/editonfavorite.uc.js

    r3565 r3566  
    163163                                <prefpane label={NAME} id="pane1" onpaneload="onpaneload()"> 
    164164                                        <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"/> 
    166166                                                <preference id="pref-hotkey" name="extensions.userchromejs.EditOnFavorite.key" type="string"/> 
    167167                                        </preferences> 
     
    170170                                                <grid> 
    171171                                                        <columns> 
    172                                                                 <column/> 
    173                                                                 <column/> 
     172                                                                <column/> <column/> 
    174173                                                        </columns> 
    175174                                                        <rows> 
    176175                                                                <row align="center"> 
    177                                                                         <label control="editor" value="Editor"/> 
     176                                                                        <label value="Editor"/> 
    178177                                                                        <hbox> 
    179178                                                                                <filefield preference="pref-editor" id="pref-editor-field" flex="1" /> 
     
    199198                                                var field = document.getElementById("pref-editor-field"); 
    200199                                                if (file) { 
     200                                                        file = IO.getFileWithPath(file); 
    201201                                                        field.file = file; 
    202202                                                        field.label = file.path; 
     
    206206                                        function selectFile(id) { 
    207207                                                var filePicker = Components.classes["@mozilla.org/filepicker;1"] 
    208                                                                                                    .createInstance(Components.interfaces.nsIFilePicker); 
     208                                                                           .createInstance(Components.interfaces.nsIFilePicker); 
    209209                                                filePicker.init(window, "Choose a file.", filePicker.modeOpen); 
    210210                                                if (filePicker.show() == filePicker.returnOK) { 
     
    212212                                                        field.file  = filePicker.file; 
    213213                                                        field.label = filePicker.file.path; 
     214                                                        field.value = filePicker.file.path; 
     215                                                        document.getElementById("pane1").userChangedValue(field); 
    214216                                                } 
    215217                                        } 
     
    219221                                                e.stopPropagation(); 
    220222                                                this.value = keyEventToStroke(e); 
     223                                                document.getElementById("pane1").userChangedValue(this); 
    221224                                        } 
    222225                                ]]></script>