I got a silly idea and tried it. And it worked. So the last bug I had switching from Normal to Source View is now fixed : the source view was not automatically scrolling to ensure the selection is in the viewport. It works now very well. Unfortunately, it's too late to make 0.50. I'll probably release jars next week for those who really really need/want to have this fixed in 0.50.