colobot/colobot — pull request #147 by OdyX (2013-03-24 21:37:48+00:00)
Title: Bugfix DESKTOP option initialisation

Without this, DESKTOP is evaluated as OFF.