Kimmo Varis 2d483b698f GUI: Add menu-selection for the checked platform.
This is quick and dirty patch to add the platform selection for
the GUI. It is simple menu selection in Check-menu. It always
defaults to "Default" at startup. And it forget the selection
when the application is closed.

Ticket: #3119 (GUI: add ability to specify platform type)
2011-09-29 22:50:49 +03:00
..
2011-06-16 16:03:25 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2011-09-26 22:03:47 +03:00
2009-12-19 16:53:47 +02:00
2011-04-28 09:16:12 +03:00
2010-12-14 23:51:21 -08:00
2011-05-13 10:09:17 +03:00
2011-02-04 22:42:43 +02:00
2011-07-21 20:15:24 +03:00
2010-12-27 11:27:39 +02:00