The sort order will be changed as suggested. I don't see a way to make entries case sensitive.
On Thu, Feb 17, 2011 at 7:42 PM, David Mitchell <[email protected]> wrote: > I like the defs pane of the JGTK edit window. I find it very useful for > locating object definitions. > > My vote would be to make it case sensitive. I find it less useful in its > current form where entering a lower case letter takes you to the upper case > definitions, if present. As far as I am concerned, I am almost always > interested in the lower case definitions rather than the upper case ones > anyway. > > In fact, I would vote to change the sort order to list the lower case > definition > names first in the defs pane. > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
