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
