mimo d5aab3f056 hotkey button should have no effect when button is disabled, fix #3031 ... This was SVN commit r16266.		2015-02-03 18:22:41 +00:00
..
load.js	add hotkey for deleting saved games, addresses #3018	2015-01-26 21:05:31 +00:00
load.xml	hotkey button should have no effect when button is disabled, fix #3031	2015-02-03 18:22:41 +00:00
save.js	Internationalization of the public mod (JavaScript and GUI XML side)	2014-04-20 20:51:48 +00:00
save.xml	Lots of GUI fixes to issues pointed out by alpha123 on IRC.	2014-05-27 05:34:28 +00:00