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