Proper sizing of the source editor