Resolution is now adjustable!

Though maxHeightPixel maxWidthPixel in Camera.
Trivial change in trafficsim.dart