Gildas f1e35d7774 added an option to enter the file name before saving the page 7 лет назад
..
core f1e35d7774 added an option to enter the file name before saving the page 7 лет назад
ui f1e35d7774 added an option to enter the file name before saving the page 7 лет назад
index.js 6e5e2e46fe fixed same kind of (strange) bug for Firefox... 7 лет назад