| The JGoodies Windows look&feel implementation of PopMenuUI.
It differs from the superclass in that it provides an option to get a
narrow border. You can set a client property
Options.NO_MARGIN_KEY to indicate that this popup menu
has a border without margin. That is useful in the special case
where the popup contains only a single component, for example
a JScrollPane.
author:
Karsten Lentzsch
version:
$Revision: 1.4 $
See Also: com.jgoodies.looks.Options.NO_MARGIN_KEY |