Gildas 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) hace 6 años
..
content-bootstrap.js 88c559c855 reset updatedResources state when auto-saving pages hace 6 años
content-main.js 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) hace 6 años