Re: [cp-patches] Patch: tree row height default

[Tom Tromey]

>>>>> "Lillian" == Lillian Angel <address@hidden> writes:

Lillian>         * javax/swing/plaf/basic/BasicLookAndFeel.java
Lillian>        Changed the default row height for the tree.

Lillian>           new IconUIResource(new ImageIcon(getClass().getResource(
Lillian>              "/gnu/javax/swing/plaf/gtk/icons/TreeOpen.png"))),
Lillian>        "Tree.rightChildIndent", new Integer(13),
Lillian> -      "Tree.rowHeight", new Integer(16),
Lillian> +      "Tree.rowHeight", new Integer(19),

What determines a good default value here?
If it is the size of some icon, perhaps it would be better to get the
value from the icon directly?  That way if we ever change the icon we
won't need to update the code.

Tom