417448369c
* commit '7916ac65dc492e4e1431879875c77d7121fbf82e': Add new command line option to change global screen size.