An example: UIManager.getBorder("List.focusCellHighlightBorder"); Where am I expected to look up the names for such entries? For instance, "List.focusCellHighlightBorder" I have not found such attribute in the source code in JList.java I have tried printing the hashtable returned by UIManager.getDefaults, with no success.
You can get the names of all the properties used... then look for properties beginning with "List." to get all the properties that affect a JList.
I also agree with you that they should be listed in the JavaDocs somewhere. It probably wouldn't be good to put them in the widget itself (like JList), because they can change based on the look & feel, but would be good to put them in ListUI, BasicListUI, etc. or the subclass used in the specific look & feel.
-Nate
Write once, run anywhere, because there's nowhere to hide! - /. A.C.