Gildas 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) il y a 6 ans
..
messages.json 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) il y a 6 ans