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