Dirk Hohndel 17b5618c39 MaxPPO2 should be a double, not an int
This just fixes the spinner used in the preferences dialog.

Reported-by: Benjamin <nystire@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2013-11-13 13:02:39 +09:00
..
2013-09-02 05:57:08 -03:00
2013-07-11 09:22:20 -03:00
2013-10-16 12:44:07 -07:00
2013-10-16 12:44:07 -07:00
2013-10-16 12:44:07 -07:00
2013-11-12 11:19:04 +09:00
2013-10-17 15:00:22 -07:00
2013-10-15 04:37:31 -07:00
2013-11-02 17:10:34 +01:00
2013-11-12 16:33:01 +09:00
2013-11-12 11:17:40 +09:00
2013-10-16 07:02:06 -07:00
2013-06-19 10:20:56 -07:00