Houtan Bastani fd880a9387 gui: other simplifications/aesthetic changes		2019-02-07 19:02:35 +01:00
..
+perfect_foresight	gui: other simplifications/aesthetic changes	2019-02-07 19:02:35 +01:00