undo case correction

[#NULL]

[not a big thing, but sometimes annoying ]
if you uncomment something, case-correction is applied. but latter isn't undone with ctrl+z. (one has to undo it manually if desired)

[freak]

This is by design. It would be much more annoying if everytime you try to undo something,
you also need to undo the case corrections inbetween.