Gildas d1c5865d1f make sure the pending save is ended before a new save há 7 anos atrás
..
options.js d1c5865d1f make sure the pending save is ended before a new save há 7 anos atrás
ui.js 1cfc2f3f0c fixed save selection há 7 anos atrás