content: /*
   * Copyright 2019 FormDev Software GmbH
   *
   * Licensed under the Apache License, Version 2.0 (the "License");
   * you may not use this file except in compliance with the License.
   * You may obtain a copy of the License at
   *
   *     http://www.apache.org/licenses/LICENSE-2.0
   *
   * Unless required by applicable law or agreed to in writing, software
   * distributed under the License is distributed on an "AS IS" BASIS,
   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   * See the License for the specific language governing permissions and
   * limitations under the License.
   */
  
  package themeengine.include.com.formdev.flatlaf.ui;
  
  import static themeengine.include.com.formdev.flatlaf.util.UIScale.scale;
  import java.awt.Dimension;
  import java.awt.Graphics;
  import java.awt.Graphics2D;
  import java.awt.geom.Rectangle2D;
  import javax.swing.JComponent;
  import javax.swing.JSeparator;
  import javax.swing.UIManager;
  import javax.swing.plaf.ComponentUI;
  import javax.swing.plaf.basic.BasicSeparatorUI;
  
  /**
   * Provides the Flat LaF UI delegate for {@link javax.swing.JSeparator}.
   *
   * <!-- BasicSeparatorUI -->
   *
   * @uiDefault Separator.background		Color	unused
   * @uiDefault Separator.foreground		Color
   *
   * <!-- FlatSeparatorUI -->
   *
   * @uiDefault Separator.height			int		height (or width) of the component; may be larger than stripe
   * @uiDefault Separator.stripeWidth		int		width of the stripe
   * @uiDefault Separator.stripeIndent	int		indent of stripe from top (or left); allows positioning of stripe within component
   *
   * @author Karl Tauber
   */
  public class FlatSeparatorUI
  	extends BasicSeparatorUI
  {
  	protected int height;
  	protected int stripeWidth;
  	protected int stripeIndent;
  
  	private boolean defaults_initialized = false;
  
  	private static ComponentUI instance;
  
  	public static ComponentUI createUI( JComponent c ) {
  		if( instance == null )
  			instance = new FlatSeparatorUI();
  		return instance;
  	}
  
  	@Override
  	protected void installDefaults( JSeparator s ) {
  		super.installDefaults( s );
  
  		if( !defaults_initialized ) {
  			String prefix = getPropertyPrefix();
  			height = UIManager.getInt( prefix + ".height" );
  			stripeWidth = UIManager.getInt( prefix + ".stripeWidth" );
  			stripeIndent = UIManager.getInt( prefix + ".stripeIndent" );
  
  			defaults_initialized = true;
  		}
  	}
  
  	@Override
  	protected void uninstallDefaults( JSeparator s ) {
  		super.uninstallDefaults( s );
  		defaults_initialized = false;
  	}
  
  	protected String getPropertyPrefix() {
  		return "Separator";
  	}
  
  	@Override
  	public void paint( Graphics g, JComponent c ) {
  		Graphics2D g2 = (Graphics2D) g.create();
  		try {
  			FlatUIUtils.setRenderingHints( g2 );
  			g2.setColor( c.getForeground() );
  
  			float width = scale( (float) stripeWidth );
  			float indent = scale( (float) stripeIndent );
  
  			if( ((JSeparator)c).getOrientation() == JSeparator.VERTICAL )
  				g2.fill( new Rectangle2D.Float( indent, 0, width, c.getHeight() ) );
  			else
  				g2.fill( new Rectangle2D.Float( 0, indent, c.getWidth(), width ) );
  		} finally {
  			g2.dispose();
  		}
  	}
  
  	@Override
  	public Dimension getPreferredSize( JComponent c ) {
  		if( ((JSeparator) c).getOrientation() == JSeparator.VERTICAL )
  			return new Dimension( scale( height ), 0 );
  		else
  			return new Dimension( 0, scale( height ) );
  	}
  }
  