jp9000 4c3394f7bf UI: Use a default size for the properties window
When I changed the properties window to remove the .ui file, I forgot to
give it a default initial size.  This just sets it to 720x580 by
default.
2015-09-07 18:40:06 -07:00
..
2014-08-05 21:15:31 +02:00
2015-01-03 02:37:21 -08:00
2015-01-03 02:37:21 -08:00
2015-08-12 15:30:28 +02:00
2015-04-10 07:27:37 -07:00
2015-05-24 16:20:12 -07:00
2015-05-24 16:20:12 -07:00
2015-05-11 20:45:27 +02:00
2015-05-11 20:45:27 +02:00
2015-07-03 18:35:30 -07:00