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