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