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