| .. |
|
core
|
b02c2f53a9
remove unneeded code
|
vor 4 Jahren |
|
lib
|
972ec63655
reset key
|
vor 4 Jahren |
|
ui
|
e7c0754188
add option "auto-save on tab discard" (cf #703)
|
vor 4 Jahren |
|
index.js
|
4bb39b6541
make sure SingleFile global variable is set (fix #701)
|
vor 4 Jahren |
Gildas