Gildas d1c5865d1f make sure the pending save is ended before a new save 7 years ago
..
core 8d9fd00e7d move noscript tags out of the head tag before saving the page 7 years ago
ui d1c5865d1f make sure the pending save is ended before a new save 7 years ago
index.js 6e5e2e46fe fixed same kind of (strange) bug for Firefox... 7 years ago