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