Gildas e2a470caab added options to customize the infobar content 7 years ago
..
bg-ui.js 10cdd8ab82 replaced "append the save date to the file name" with "template" option 7 years ago
options.js e2a470caab added options to customize the infobar content 7 years ago
ui-autosave.js 0e0009f231 always auto-save pages in background 7 years ago
ui-button.js e663bf6c9a added onCancelled message 7 years ago
ui-menu.js e7eb6a9d35 display context menu entry in more contexts 7 years ago