| .. |
|
core
|
e7c0754188
add option "auto-save on tab discard" (cf #703)
|
4 years ago |
|
lib
|
1d5265ef1f
add option "open saved pages in a new tab" (cf. #703)
|
4 years ago |
|
ui
|
e7c0754188
add option "auto-save on tab discard" (cf #703)
|
4 years ago |
|
index.js
|
4bb39b6541
make sure SingleFile global variable is set (fix #701)
|
4 years ago |