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