PlutonicOverkill a8e7628e83 Enable highlighting when cursor is placed over a name (script editor)		2017-04-28 19:28:05 +12:00
..
doc	Fix shadowing warnings	2016-10-16 01:34:54 +09:00
filter	Fix shadowing warnings	2016-10-15 00:12:46 +09:00
prefs	Enable highlighting when cursor is placed over a name (script editor)	2017-04-28 19:28:05 +12:00
tools	Another tab fix	2017-02-21 11:51:11 +01:00
world	Replace "Female" check box with a combo box, part 2/2 (fixes #3757)	2017-02-18 15:40:07 +01:00