| .. |
|
ui-button.js
|
8fc51fcb75
formatted code
|
hace 6 años |
|
ui-commands.js
|
9c59fb60d3
fixed regression when saving with the shortcut
|
hace 6 años |
|
ui-editor.js
|
ab4ab62272
use a unique id for each task
|
hace 6 años |
|
ui-main.js
|
4e158f475b
Stop using tabs.onUpdated to detect page reloads (cf #314)
|
hace 6 años |
|
ui-menus.js
|
4e158f475b
Stop using tabs.onUpdated to detect page reloads (cf #314)
|
hace 6 años |
|
ui-options.js
|
46066ecda9
renamed keys
|
hace 6 años |
|
ui-panel.js
|
66fcb40c8e
fixed translations
|
hace 6 años |
|
ui-pendings.js
|
ab4ab62272
use a unique id for each task
|
hace 6 años |
Gildas
4e158f475b
Stop using tabs.onUpdated to detect page reloads (cf #314)