@@ -30,10 +30,6 @@ window.addEventListener('click', function(event) {
30
30
// functions available to Panel
31
31
var SaveTextToFile_Panel = {
32
32
33
- updateTimestampInFilename : function ( ) {
34
- alert ( 'c' ) ;
35
- } ,
36
-
37
33
selectDir : function ( ) {
38
34
self . port . emit ( "selectDir" , '' ) ;
39
35
} ,
@@ -55,6 +51,7 @@ var SaveTextToFile_Panel = {
55
51
pagenameForFilename : document . getElementById ( "pagenameForFilename" ) . checked ,
56
52
saveMode : document . getElementById ( "saveMode" ) . value ,
57
53
confirmPanel : document . getElementById ( "confirmPanel" ) . checked ,
54
+ html : document . getElementById ( "html" ) . checked ,
58
55
showWidget : document . getElementById ( "showWidget" ) . checked ,
59
56
showNotifications : document . getElementById ( "showNotifications" ) . checked
60
57
} ) ;
@@ -84,6 +81,7 @@ self.port.on("prefs", function (prefs) {
84
81
document . getElementById ( "pagenameForFilename" ) . checked = parsedPrefs . pagenameForFilename ;
85
82
document . getElementById ( "saveMode" ) . value = parsedPrefs . saveMode ;
86
83
document . getElementById ( "confirmPanel" ) . checked = parsedPrefs . confirmPanel ;
84
+ document . getElementById ( "html" ) . checked = parsedPrefs . html ;
87
85
document . getElementById ( "showWidget" ) . checked = parsedPrefs . showWidget ;
88
86
document . getElementById ( "showNotifications" ) . checked = parsedPrefs . showNotifications ;
89
87
0 commit comments