JoshuaJB e4d3189494 Lots of GUI fixes to issues pointed out by alpha123 on IRC. ... This was SVN commit r15235.		2014-05-27 05:34:28 +00:00
..
options.js	Change developer overlay to only be openable through Alt+D shortcut. Fixes #2569	2014-05-23 00:18:16 +00:00
options.xml	Lots of GUI fixes to issues pointed out by alpha123 on IRC.	2014-05-27 05:34:28 +00:00