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