Gildas 8fc51fcb75 formatted code vor 6 Jahren
..
ui-button.js 8fc51fcb75 formatted code vor 6 Jahren
ui-commands.js 9c59fb60d3 fixed regression when saving with the shortcut vor 6 Jahren
ui-editor.js d3ef916ff6 better handling of large pages vor 6 Jahren
ui-main.js 72aac203ac extracted downloadBlob function vor 6 Jahren
ui-menus.js c6913a5112 moved "view pending saves..." entry to the bottom vor 6 Jahren
ui-options.js 67fa429d04 added option "synchronize options" (fix #296) vor 6 Jahren
ui-panel.js 66fcb40c8e fixed translations vor 6 Jahren
ui-pendings.js a8a2f017f2 integrated pending saves in the side panel vor 6 Jahren