Anita Graser 3e7dba2be4 Change resolution parameter defaults to floats
Previously, the GUI wouldn't allow to enter float values
2015-06-27 19:14:01 +02:00
..
2014-09-26 13:17:11 +02:00