titiger 32859457f6 world dump hotkey disabled by default ... in big games accidently pressing this games made users drop out of the game and its a developer option anyway. From now it only works If debug is enabled.		2019-11-12 01:25:57 +01:00
..
display.cpp	red command icons if not enough resource	2019-10-21 00:46:06 +02:00
display.h	build command had no colored icons	2019-10-21 20:09:15 +02:00
gui.cpp	world dump hotkey disabled by default	2019-11-12 01:25:57 +01:00
gui.h	- minor feature request added from sourceforge, when command given cannot be executed, sometimes we show the requirements of the command so the user knows why it failed	2012-11-10 19:39:55 +00:00
selection.cpp	- round 2 of cppcheck code cleanup	2017-10-09 20:21:14 -07:00
selection.h	- round 2 of cppcheck code cleanup	2017-10-09 20:21:14 -07:00