| .. |
|
ui-button.js
|
6812c33d28
formatted code
|
hace 6 años |
|
ui-commands.js
|
7423302b54
fixed regression when saving with the shortcut
|
hace 6 años |
|
ui-editor.js
|
60fb0c033e
use a unique id for each task
|
hace 6 años |
|
ui-main.js
|
2c697a9119
Stop using tabs.onUpdated to detect page reloads (cf #314)
|
hace 6 años |
|
ui-menus.js
|
2c697a9119
Stop using tabs.onUpdated to detect page reloads (cf #314)
|
hace 6 años |
|
ui-options.js
|
6535a376a6
added "save the page of a newly created bookmark" option (cf issue #320)
|
hace 6 años |
|
ui-panel.js
|
6d45bda634
fixed translations
|
hace 6 años |
|
ui-pendings.js
|
60fb0c033e
use a unique id for each task
|
hace 6 años |
Gildas
6535a376a6
added "save the page of a newly created bookmark" option (cf issue #320)