Gildas 14bd405120 added "auto-close the tab after the page is saved" option (fix #185) vor 6 Jahren
..
content-bootstrap.js fb94a9f290 reset updatedResources state when auto-saving pages vor 6 Jahren
content-main.js 14bd405120 added "auto-close the tab after the page is saved" option (fix #185) vor 6 Jahren