Uppercase reserved words wipes undo history

Brought to you by: wmmihaa

#93 Uppercase reserved words wipes undo history

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2005-09-29

Created: 2005-09-29

Private: No

If you run 'Set reserved words to uppercase' from the edit
menu, this seems to clear the undo history, so that
pressing undo does nothing.

This is using version 4, btw.

Cheers,
Dunc.