Hi Michael,
thank you for sharing this knowledge in your blog!
It is a cool feature.
I also did not know before, that you can for example jump to the next error in source with ctrl+. (and ctrl + , to the previous).
I did this with the scroll bar and mouse before or with page up/down
So this really helps a lot.
Thanks again.
Regards
Dominik