Guys, so many thanks for the good job!
OMG, just the SmartIdent fix is a great relief..
Well, I agree with the guy who said that you should give an option to save the workspace. It's a very seful feature and I'm using lots of workspaces in the last days and I would just loooooooove it...
oh, sorry, got carried away... I know that this is no place for feature request
Cheers, guys, and keep up the good work!