TableHeader implementation

flatlaf-core/src/main/java/com/formdev/flatlaf/ui/FlatTableHeaderUI.java

@@ -0,0 +1,197 @@
+/*
+ * 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 com.formdev.flatlaf.ui;
+
+import java.awt.Color;
+import java.awt.Container;
+import java.awt.Dimension;
+import java.awt.Graphics;
+import java.awt.Graphics2D;
+import java.awt.Rectangle;
+import java.awt.geom.Rectangle2D;
+import javax.swing.JComponent;
+import javax.swing.JScrollPane;
+import javax.swing.JTable;
+import javax.swing.UIManager;
+import javax.swing.plaf.ComponentUI;
+import javax.swing.plaf.basic.BasicTableHeaderUI;
+import javax.swing.table.TableColumn;
+import javax.swing.table.TableColumnModel;
+import com.formdev.flatlaf.util.UIScale;
+
+/**
+ * Provides the Flat LaF UI delegate for {@link javax.swing.table.JTableHeader}.
+ *
+ * TODO document used UI defaults of superclass
+ *
+ * @uiDefault TableHeader.separatorColor		Color
+ * @uiDefault TableHeader.bottomSeparatorColor	Color
+ * @uiDefault TableHeader.height				int
+ *
+ * @author Karl Tauber
+ */
+public class FlatTableHeaderUI
+	extends BasicTableHeaderUI
+{
+	protected Color separatorColor;
+	protected Color bottomSeparatorColor;
+	protected int height;
+
+	public static ComponentUI createUI( JComponent c ) {
+		return new FlatTableHeaderUI();
+	}
+
+	@Override
+	protected void installDefaults() {
+		super.installDefaults();
+
+		separatorColor = UIManager.getColor( "TableHeader.separatorColor" );
+		bottomSeparatorColor = UIManager.getColor( "TableHeader.bottomSeparatorColor" );
+		height = UIManager.getInt( "TableHeader.height" );
+	}
+
+	@Override
+	protected void uninstallDefaults() {
+		super.uninstallDefaults();
+
+		separatorColor = null;
+		bottomSeparatorColor = null;
+	}
+
+	@Override
+	public void paint( Graphics g, JComponent c ) {
+		// do not paint borders if JTableHeader.setDefaultRenderer() was used
+		boolean paintBorders = header.getDefaultRenderer().getClass().getName().equals(
+			"sun.swing.table.DefaultTableCellHeaderRenderer" );
+
+		if( paintBorders )
+			paintColumnBorders( g, c );
+
+		super.paint( g, c );
+
+		if( paintBorders )
+			paintDraggedColumnBorders( g, c );
+	}
+
+	private void paintColumnBorders( Graphics g, JComponent c ) {
+		int width = c.getWidth();
+		int height = c.getHeight();
+		float lineWidth = UIScale.scale( 1f );
+		float topLineIndent = lineWidth;
+		float bottomLineIndent = lineWidth * 3;
+		TableColumnModel columnModel = header.getColumnModel();
+		int columnCount = columnModel.getColumnCount();
+
+		Graphics2D g2 = (Graphics2D) g.create();
+		try {
+			FlatUIUtils.setRenderingHints( g2 );
+
+			// paint bottom line
+			g2.setColor( bottomSeparatorColor );
+			g2.fill( new Rectangle2D.Float( 0, height - lineWidth, width, lineWidth ) );
+
+			// paint column separator lines
+			g2.setColor( separatorColor );
+
+			int sepCount = columnCount;
+			if( header.getTable().getAutoResizeMode() != JTable.AUTO_RESIZE_OFF && !isVerticalScrollBarVisible() )
+				sepCount--;
+
+			if( header.getComponentOrientation().isLeftToRight() ) {
+				int x = 0;
+				for( int i = 0; i < sepCount; i++ ) {
+					x += columnModel.getColumn( i ).getWidth();
+					g2.fill( new Rectangle2D.Float( x - lineWidth, topLineIndent, lineWidth, height - bottomLineIndent ) );
+				}
+			} else {
+				int x = width;
+				for( int i = 0; i < sepCount; i++ ) {
+					x -= columnModel.getColumn( i ).getWidth();
+					g2.fill( new Rectangle2D.Float( x - lineWidth, topLineIndent, lineWidth, height - bottomLineIndent ) );
+				}
+			}
+		} finally {
+			g2.dispose();
+		}
+	}
+
+	private void paintDraggedColumnBorders( Graphics g, JComponent c ) {
+		TableColumn draggedColumn = header.getDraggedColumn();
+		if( draggedColumn == null )
+			return;
+
+		// find index of dragged column
+		TableColumnModel columnModel = header.getColumnModel();
+		int columnCount = columnModel.getColumnCount();
+		int draggedColumnIndex = -1;
+		for( int i = 0; i < columnCount; i++ ) {
+			if( columnModel.getColumn( i ) == draggedColumn ) {
+				draggedColumnIndex = i;
+				break;
+			}
+		}
+
+		if( draggedColumnIndex < 0 )
+			return;
+
+		float lineWidth = UIScale.scale( 1f );
+		float topLineIndent = lineWidth;
+		float bottomLineIndent = lineWidth * 3;
+		Rectangle r = header.getHeaderRect( draggedColumnIndex );
+		r.x += header.getDraggedDistance();
+
+		Graphics2D g2 = (Graphics2D) g.create();
+		try {
+			FlatUIUtils.setRenderingHints( g2 );
+
+			// paint dragged bottom line
+			g2.setColor( bottomSeparatorColor );
+			g2.fill( new Rectangle2D.Float( r.x, r.y + r.height - lineWidth, r.width, lineWidth ) );
+
+			// paint dragged column separator lines
+			g2.setColor( separatorColor );
+			g2.fill( new Rectangle2D.Float( r.x, topLineIndent, lineWidth, r.height - bottomLineIndent ) );
+			g2.fill( new Rectangle2D.Float( r.x + r.width - lineWidth, r.y + topLineIndent, lineWidth, r.height - bottomLineIndent ) );
+		} finally {
+			g2.dispose();
+		}
+	}
+
+	@Override
+	public Dimension getPreferredSize( JComponent c ) {
+		Dimension size = super.getPreferredSize( c );
+		if( size.height > 0 )
+			size.height = Math.max( size.height, UIScale.scale( height ) );
+		return size;
+	}
+
+	private boolean isVerticalScrollBarVisible() {
+		JScrollPane scrollPane = getScrollPane();
+		return (scrollPane != null && scrollPane.getVerticalScrollBar() != null)
+			? scrollPane.getVerticalScrollBar().isVisible()
+			: false;
+	}
+
+	private JScrollPane getScrollPane() {
+		Container parent = header.getParent();
+		if( parent == null )
+			return null;
+
+		parent = parent.getParent();
+		return (parent instanceof JScrollPane) ? (JScrollPane) parent : null;
+	}
+}

flatlaf-core/src/main/resources/com/formdev/flatlaf/FlatDarkLaf.properties

@@ -169,5 +169,12 @@ TabbedPane.focusColor=3d4b5c
 TabbedPane.contentAreaColor=323232
 
 
+#---- TableHeader ----
+
+TableHeader.background=45494A
+TableHeader.separatorColor=585858
+TableHeader.bottomSeparatorColor=585858
+
+
 #---- Tree ----
 

flatlaf-core/src/main/resources/com/formdev/flatlaf/FlatLaf.properties

@@ -39,6 +39,7 @@ SliderUI=com.formdev.flatlaf.ui.FlatSliderUI
 SpinnerUI=com.formdev.flatlaf.ui.FlatSpinnerUI
 SplitPaneUI=com.formdev.flatlaf.ui.FlatSplitPaneUI
 TabbedPaneUI=com.formdev.flatlaf.ui.FlatTabbedPaneUI
+TableHeaderUI=com.formdev.flatlaf.ui.FlatTableHeaderUI
 TextAreaUI=com.formdev.flatlaf.ui.FlatTextAreaUI
 TextFieldUI=com.formdev.flatlaf.ui.FlatTextFieldUI
 TextPaneUI=com.formdev.flatlaf.ui.FlatTextPaneUI
@@ -215,6 +216,12 @@ TabbedPane.tabsOverlapBorder=true
 TabbedPane.shadow=@@ComboBox.buttonArrowColor
 
 
+#---- TableHeader ----
+
+TableHeader.height=25
+TableHeader.cellBorder=2,2,2,2
+
+
 #---- TextArea ----
 
 TextArea.border=com.formdev.flatlaf.ui.FlatMarginBorder

flatlaf-core/src/main/resources/com/formdev/flatlaf/FlatLightLaf.properties

@@ -169,5 +169,12 @@ TabbedPane.focusColor=dae4ed
 TabbedPane.contentAreaColor=bfbfbf
 
 
+#---- TableHeader ----
+
+TableHeader.background=ffffff
+TableHeader.separatorColor=e5e5e5
+TableHeader.bottomSeparatorColor=e5e5e5
+
+
 #---- Tree ----