domains/remove_print_css.js

[app.webkitpdf] / BrowserSettings.js

diff --git a/BrowserSettings.js b/BrowserSettings.js
index 0e0210a..16faf0c 100644 (file)
--- a/BrowserSettings.js
+++ b/BrowserSettings.js
@@ -3,6 +3,8 @@
 var home_page = "about:blank";// set for URL which is the downloads
 var delay = 0;
 var export_filename = '';
+var export_filename_html = '';
+
 var select_new_tabs = false;
 
 // Test for Gtk >= 2.16 (otherwise don't have a progress bar)