0001898: LUA widgets are sorted in a case-sensitive way

ID	Project	Category	View Status	Date Submitted	Last Update
0001898	Spring engine	Lua	public	2010-04-23 04:52	2010-07-13 23:54

Reporter	dfreeman	Assigned To
Priority	normal	Severity	minor	Reproducibility	have not tried
Status	closed	Resolution	no change required
Product Version	0.81.2.1

Summary	0001898: LUA widgets are sorted in a case-sensitive way
Description	When I hit F11 ingame, I am presented with a list of widgets. This list is too long for the screen, so I have to mouse-wheel to scroll through the list. Unfortunately, the list appears to be out of order. I'm guessing this is because some filenames begin with a capital and others don't. This difference isn't presented to the user, but the ordering is still wrong. I find myself spending a lot longer on this menu than I need to, because I have to scroll to the opposite end of the list from where I thought it would be. Usually this is during a battle where, for instance, I have decided to toggle OnlyFightersPatrol.
Tags	No tags attached.

Checked infolog.txt for Errors

Date Modified	Username	Field	Change
2010-04-23 04:52	dfreeman	New Issue
2010-04-23 08:20	hoijui	Note Added: 0004839
2010-07-13 23:54	Kloot	Status	new => closed
2010-07-13 23:54	Kloot	Resolution	open => no change required

hoijui 2010-04-23 08:20 reporter ~0004839	The mod/game supplied Widgets are listed first, and are prefixed with a star "* ", followed by the users widgets (no star).