jalingo/jalingo_look_and_feel.patch

   1 --- src/ja/lingo/application/util/plaf/JaLingoLookAndFeel.java.old      2006-10-30 16:05:26.000000000 +0200
   2 +++ src/ja/lingo/application/util/plaf/JaLingoLookAndFeel.java  2008-01-16 14:32:57.000000000 +0200
   3 @@ -36,13 +36,14 @@
   4          // children dynamic re-layout on resize
   5          Toolkit.getDefaultToolkit().setDynamicLayout( true );
   6
   7 -        // kunstoff
   8 +        String slaf = System.getProperty("ja.lingo.laf");
   9 +        JaLingoLookAndFeel laf = null;
  10
  11 -        JaLingoLookAndFeel laf = new JaLingoLookAndFeel();
  12 -        setCurrentTheme( new RainyTheme( fontSize ) );
  13 -        setCurrentGradientTheme( new RainyGradientTheme() );
  14 -
  15 -        //LookAndFeel laf = new WindowsLookAndFeel();
  16 +        if( slaf == null) { // kunstoff
  17 +            laf = new JaLingoLookAndFeel();
  18 +            setCurrentTheme( new RainyTheme( fontSize ) );
  19 +            setCurrentGradientTheme( new RainyGradientTheme() );
  20 +        }
  21
  22          // children LF
  23          //Plastic3DLookAndFeel laf = new Plastic3DLookAndFeel();
  24 @@ -50,7 +51,10 @@
  25
  26          try {
  27              //UIManager.setLookAndFeel( UIManager.getSystemLookAndFeelClassName() );
  28 -            UIManager.setLookAndFeel( laf );
  29 +            if( laf != null )
  30 +                UIManager.setLookAndFeel( laf );
  31 +            else
  32 +                UIManager.setLookAndFeel( slaf );
  33              //Wrapper.wrap();
  34          } catch ( Exception e ) {
  35              LOG.warn( "Could not initialize LF", e );