Deprecated API

Deprecated Fields
com.jgoodies.looks.Options.EXT_WINDOWS_NAME
          Replaced by Options.JGOODIES_WINDOWS_NAME. 
 



Copyright © 2001-2005 JGoodies Karsten Lentzsch. All Rights Reserved.