[Leda]

I found that the old shortcuts weren't good anymore. I'm talking about
CTRL+C, CTRL+V, CTRL+S etc... I went to customization and I restored as many
of them as I could (some commands are not there in All Commands: for
instance I couldn't find "undo"....) The next day, my shortcuts are gone
again. I'm trying to undo and it doesn't obey the shortcut command.

And it's not the only thing I cannot see in "All commands". For instance,
line spacings are not there anymore to put in the Quick Command toolbar (I
mean single line, one and a half line and double line).

Thanks