| .. |
|
core
|
2570c19047
support discarded tabs
|
hace 4 años |
|
lib
|
972ec63655
reset key
|
hace 4 años |
|
ui
|
e7c0754188
add option "auto-save on tab discard" (cf #703)
|
hace 4 años |
|
index.js
|
4bb39b6541
make sure SingleFile global variable is set (fix #701)
|
hace 4 años |
Gildas