undo case correction
Posted: Sun Jan 20, 2008 12:42 am
[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)

if you uncomment something, case-correction is applied. but latter isn't undone with ctrl+z. (one has to undo it manually if desired)