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