undo function in IDE

when you select a bit of text in the IDE and paste new text over it, the undo function only removes the new text, another undo is needed to bring the old text back.. so to undo 1 action, you need to press undo twice..

(encountered in v.0017 of the IDE)

Also, if you make one change in a sketch and then make a second change in a different part of the sketch, two consecutive undos will correctly reverse the changes but will leave the focus of the editor at the second change. This makes it difficult to undo a sequence of changes since you can't see the actions of undos beyond the first.