Gildas d1c5865d1f make sure the pending save is ended before a new save vor 7 Jahren
..
core 8d9fd00e7d move noscript tags out of the head tag before saving the page 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