Gildas 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) 6 anos atrás
..
bg 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) 6 anos atrás
content 61c4b5890e added setProperty function 6 anos atrás
devtools ef51ee616b added header 6 anos atrás
pages 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) 6 anos atrás
resources 99dfbc1d4a larger progress bar 7 anos atrás