Gildas eb5bdbd504 made the button looking disabled during the initialization phase vor 7 Jahren
..
bg-ui.js 10cdd8ab82 replaced "append the save date to the file name" with "template" option vor 7 Jahren
options.js 10cdd8ab82 replaced "append the save date to the file name" with "template" option vor 7 Jahren
ui-autosave.js 0e0009f231 always auto-save pages in background vor 7 Jahren
ui-button.js eb5bdbd504 made the button looking disabled during the initialization phase vor 7 Jahren
ui-menu.js 8ff56052ea i18n integration vor 7 Jahren