9d31154d0b
* commit 'b68c768ddb57407bc253230c677056329c9e4bae': Add new command line option to change global screen size.