| .. |
|
bg
|
14bd405120
added "auto-close the tab after the page is saved" option (fix #185)
|
6 years ago |
|
content
|
5a3a501b11
added setProperty function
|
6 years ago |
|
devtools
|
39b81903b8
added header
|
6 years ago |
|
pages
|
14bd405120
added "auto-close the tab after the page is saved" option (fix #185)
|
6 years ago |
|
resources
|
99dfbc1d4a
larger progress bar
|
7 years ago |
Gildas