Gildas 6812c33d28 formatted code hace 6 años
..
ui-button.js 6812c33d28 formatted code hace 6 años
ui-commands.js 7423302b54 fixed regression when saving with the shortcut hace 6 años
ui-editor.js 95489f63b3 better handling of large pages hace 6 años
ui-main.js d08671ac1a extracted downloadBlob function hace 6 años
ui-menus.js 645d0cd071 moved "view pending saves..." entry to the bottom hace 6 años
ui-options.js 663158c82f added option "synchronize options" (fix #296) hace 6 años
ui-panel.js 6d45bda634 fixed translations hace 6 años
ui-pendings.js 83d7f7aed7 integrated pending saves in the side panel hace 6 años