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