Gildas 1945d80b48 don't cancel tasks when being autosaved vor 6 Jahren
..
autosave.js 60fb0c033e use a unique id for each task vor 6 Jahren
business.js 1945d80b48 don't cancel tasks when being autosaved vor 6 Jahren
config.js 3032555f17 reset sync to false when resetting all the profiles vor 6 Jahren
devtools.js 50e99850b6 fix issue with non-persistent bg page vor 6 Jahren
downloads.js 60fb0c033e use a unique id for each task vor 6 Jahren
editor.js 95489f63b3 better handling of large pages vor 6 Jahren
messages.js 5909443455 integration of the annotation editor (fixes #161) vor 6 Jahren
tabs-data.js d20e511e57 renamed variable allTabsdata to tabsData vor 6 Jahren
tabs.js d4c3ecc21a fixed implementation of pending saves on Firefox vor 6 Jahren