PlutonicOverkill cbb2b8b119 Add setting so feature can be turned off		2017-04-28 19:57:49 +12:00
..
doc	Replace "Female" check box with a combo box, part 1/2 (fixes #3756)	2017-02-17 17:05:46 +01:00
filter	Fix shadowing warnings	2016-10-16 01:34:54 +09:00
prefs	Remove unused headers.	2016-07-29 16:35:43 -04:00
render	Remove unused code	2017-04-06 19:56:18 -04:00
tools	Verification results are ordered by Type in alphabetical order.	2017-02-21 11:15:53 +01:00
widget	Move tool tip processing to ShortcutManager,	2016-07-29 16:02:46 -04:00
world	Add setting so feature can be turned off	2017-04-28 19:57:49 +12:00