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