Gildas 4d72684fd9 replace "+" with "_" in file names (fixes #300) 6 anni fa
..
autosave.js 34ccd5f277 removed extension/index.js 6 anni fa
business.js 5909443455 integration of the annotation editor (fixes #161) 6 anni fa
config.js 4d72684fd9 replace "+" with "_" in file names (fixes #300) 6 anni fa
devtools.js 50e99850b6 fix issue with non-persistent bg page 6 anni fa
downloads.js 5909443455 integration of the annotation editor (fixes #161) 6 anni fa
editor.js db434be938 moved files into editor/ 6 anni fa
messages.js 5909443455 integration of the annotation editor (fixes #161) 6 anni fa
tabs-data.js d20e511e57 renamed variable allTabsdata to tabsData 6 anni fa
tabs.js 686f3e5cfb fixed memory leak 6 anni fa