PlutonicOverkill 5ec97811d8 Don't switch pages when right-clicking on list		2017-05-12 20:22:18 +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	Don't switch pages when right-clicking on list	2017-05-12 20:22:18 +12: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	Make name highlighting more consistent and only for variable names	2017-05-02 17:28:42 +12:00