Gildas
e7c0754188
add option "auto-save on tab discard" (cf #703)
|
4 years ago | |
|---|---|---|
| .. | ||
| messages.json | 4 years ago | |
|
Gildas
e7c0754188
add option "auto-save on tab discard" (cf #703)
|
4 years ago | |
|---|---|---|
| .. | ||
| messages.json | 4 years ago | |