--- a/hedgewars/hwLibrary.pas	Mon Nov 03 23:36:53 2014 +0300
+++ b/hedgewars/hwLibrary.pas	Mon Nov 03 23:56:51 2014 +0300
@@ -154,6 +154,7 @@
     resetGameConfig,
     setSeed,
     getSeed,
+    setTheme,
     getThemesList,
     freeThemesList,
     getThemeIcon,
@@ -161,6 +162,7 @@
     tryAddTeam,
     tryRemoveTeam,
     changeTeamColor,
+    
     // dunno what these are
     RunEngine,
     LoadLocaleWrapper,