Gildas b40693b088 fixed issue #254 6 years ago
..
bg 54e8cf5fa4 added option to include the infobar in saved pages (fix #243) 6 years ago
content b40693b088 fixed issue #254 6 years ago
devtools 39b81903b8 added header 6 years ago
pages 54e8cf5fa4 added option to include the infobar in saved pages (fix #243) 6 years ago
resources 99dfbc1d4a larger progress bar 7 years ago