PR# 12042 Auto-indent code pasted into the editor

This is a request for EiffelStudio's editor to do one of the nicest things in Visual Studio's editor. Now that EiffelStudio is becoming really slick, I'm greedy for more :-)

I often copy several lines of code from one routine and paste them elsewhere, possibly into another routine. Sometimes the indentation level happens to be correct, but often it's not, so I then have to select the code I've just pasted and indent it manually, with Tab or Shift+Tab.

In Visual Studio's C# personality, the indentation is corrected automatically after I paste the code. It would be really nice if EiffelStudio did this.