Gildas 87fc7494b7 switch between URL and title by clicking on the header label 6 lat temu
..
autosave.js 85738418f4 fixed implementation of pending saves on Firefox 6 lat temu
business.js 87fc7494b7 switch between URL and title by clicking on the header label 6 lat temu
config.js 7d3a3a6141 delete info if empty 6 lat temu
devtools.js 8978f56280 fix issue with non-persistent bg page 6 lat temu
downloads.js b7f024ae23 merged pendingSaves and currentSaves maps 6 lat temu
editor.js 8b9f1d198b moved files into editor/ 6 lat temu
messages.js bcdb70fbaf integration of the annotation editor (fixes #161) 6 lat temu
tabs-data.js d20e511e57 renamed variable allTabsdata to tabsData 6 lat temu
tabs.js 85738418f4 fixed implementation of pending saves on Firefox 6 lat temu