From ee5c78f1bd10380deb06296c187ec33486707a78 Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Mon, 30 Sep 2013 22:59:33 +0200
Subject: [PATCH] fix table header (better font + force AA)

---
 .../openapi/editor/impl/EditorHeaderComponent.java        | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorHeaderComponent.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorHeaderComponent.java
index e84936370004..2b4832c4bcf0 100644
--- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorHeaderComponent.java
+++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorHeaderComponent.java
@@ -31,6 +31,14 @@ public class EditorHeaderComponent extends JPanel {
     super(new BorderLayout(0, 0));
   }
 
+  @Override
+  public void paint(Graphics g) {
+    final Graphics2D g2 = (Graphics2D)g;
+    g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
+    g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
+    super.paint(g);
+  }
+
   @Override
   protected void paintComponent(Graphics g) {
     super.paintComponent(g);