Gildas 59c74dd8ae moved code vor 7 Jahren
..
core 59c74dd8ae moved code vor 7 Jahren
ui d1c5865d1f make sure the pending save is ended before a new save vor 7 Jahren
index.js 6e5e2e46fe fixed same kind of (strange) bug for Firefox... vor 7 Jahren