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