Gildas f1e35d7774 added an option to enter the file name before saving the page 7 tahun lalu
..
core f1e35d7774 added an option to enter the file name before saving the page 7 tahun lalu
ui f1e35d7774 added an option to enter the file name before saving the page 7 tahun lalu
index.js 6e5e2e46fe fixed same kind of (strange) bug for Firefox... 7 tahun lalu