Gildas d468932179 switch between URL and title by clicking on the header label hace 6 años
..
autosave.js d4c3ecc21a fixed implementation of pending saves on Firefox hace 6 años
business.js d468932179 switch between URL and title by clicking on the header label hace 6 años
config.js 93439cfd29 delete info if empty hace 6 años
devtools.js 50e99850b6 fix issue with non-persistent bg page hace 6 años
downloads.js 5e4d4766ee merged pendingSaves and currentSaves maps hace 6 años
editor.js db434be938 moved files into editor/ hace 6 años
messages.js 5909443455 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 d4c3ecc21a fixed implementation of pending saves on Firefox hace 6 años