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