| .. |
|
ui-button.js
|
47d93774c7
added button tooltip during the upload
|
vor 6 Jahren |
|
ui-commands.js
|
7423302b54
fixed regression when saving with the shortcut
|
vor 6 Jahren |
|
ui-editor.js
|
ff6a2ecf86
added option upload saved pages to Google Drive (cf #220)
|
vor 6 Jahren |
|
ui-main.js
|
75c4820219
don't display "OK" when editing teh page
|
vor 6 Jahren |
|
ui-menus.js
|
5909443455
integration of the annotation editor (fixes #161)
|
vor 6 Jahren |
|
ui-options.js
|
9ecdf4c85b
implented fallback of identity.launchWebAuthFlow
|
vor 6 Jahren |
Gildas
47d93774c7
added button tooltip during the upload