alpha123 20e7d2224a Implement a developer overlay command to change the current player ID (very useful for AI development). ...

This was SVN commit r13606.

2013-07-29 00:53:44 +00:00

..

GuiScriptConversions.cpp

Partial SDL2 compatibility

2012-02-06 22:47:35 +00:00

JSInterface_GUITypes.cpp

Catch exceptions by reference (by convention), based on patch from Markus, refs #1852

2013-05-22 22:27:53 +00:00

JSInterface_GUITypes.h

…

JSInterface_IGUIObject.cpp

Catch exceptions by reference (by convention), based on patch from Markus, refs #1852

2013-05-22 22:27:53 +00:00

JSInterface_IGUIObject.h

# New menu background image

2011-08-20 17:17:53 +00:00

ScriptFunctions.cpp

Implement a developer overlay command to change the current player ID (very useful for AI development).

2013-07-29 00:53:44 +00:00

ScriptFunctions.h

…