1   /**
2    * Distribution License:
3    * JSword is free software; you can redistribute it and/or modify it under
4    * the terms of the GNU Lesser General Public License, version 2.1 as published by
5    * the Free Software Foundation. This program is distributed in the hope
6    * that it will be useful, but WITHOUT ANY WARRANTY; without even the
7    * implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
8    * See the GNU Lesser General Public License for more details.
9    *
10   * The License is available on the internet at:
11   *       http://www.gnu.org/copyleft/lgpl.html
12   * or by writing to:
13   *      Free Software Foundation, Inc.
14   *      59 Temple Place - Suite 330
15   *      Boston, MA 02111-1307, USA
16   *
17   * Copyright: 2005
18   *     The copyright to this program is held by it's authors.
19   *
20   * ID: $Id: OtherLFCustoms.java 2050 2010-12-09 15:31:45Z dmsmith $
21   */
22  package org.crosswire.common.swing.plaf;
23  
24  import javax.swing.BorderFactory;
25  import javax.swing.UIManager;
26  import javax.swing.border.Border;
27  
28  /**
29   * Customizations for other LF other than Windows and Metal.
30   * 
31   * @see gnu.lgpl.License for license details.<br>
32   *      The copyright to this program is held by it's authors.
33   * @author Willie Thean [williethean at yahoo dot com]
34   */
35  public class OtherLFCustoms extends AbstractLFCustoms {
36      /**
37       * Default constructor.
38       */
39      public OtherLFCustoms() {
40          super();
41      }
42  
43      /**
44       * Install other platform specific UI defaults that we're not aware of.
45       */
46      @Override
47      protected void initPlatformUIDefaults() {
48          Border tabbedPanePanelBorder = BorderFactory.createEtchedBorder();
49          Border panelSelectBorder = BorderFactory.createEmptyBorder(5, 5, 5, 5);
50  
51          Object[] otherUIDefaults = new Object[] {
52                  "TabbedPanePanel.border", tabbedPanePanelBorder,
53                  "SelectPanel.border", panelSelectBorder
54          };
55  
56          UIManager.getDefaults().putDefaults(otherUIDefaults);
57      }
58  }
59