With the sort order changed, I see less need for case sensitivity. Thanks!
On 2/18/2011 20:43, chris burke wrote: > 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 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
