1 files changed, 71 insertions, 69 deletions

diff --git a/src/cppcheckplus/text/LineNumberHeaderView.java b/src/cppcheckplus/text/LineNumberHeaderView.java
index 85819fa..af837fa 100644
--- a/src/cppcheckplus/text/LineNumberHeaderView.java
+++ b/src/cppcheckplus/text/LineNumberHeaderView.java
@@ -7,74 +7,76 @@ import java.awt.FontMetrics;
 import java.awt.Graphics;
 import java.awt.Rectangle;
 
-public class LineNumberHeaderView extends javax.swing.JComponent {  
+public class LineNumberHeaderView extends javax.swing.JComponent {
 
-        private final  Font DEFAULT_FONT = new Font("Serif", 0, 16);  
-    public final Color DEFAULT_BACKGROUD = new Color(228, 228, 228);  
-    public final Color DEFAULT_FOREGROUD = Color.BLACK;  
-    public final int nHEIGHT = Integer.MAX_VALUE - 1000000;  
-    public final int MARGIN = 2;  
-    private int lineHeight;  
-    private int fontLineHeight;  
-    private int currentRowWidth;  
-    private FontMetrics fontMetrics;  
-  
-    public LineNumberHeaderView() {  
-        setFont(DEFAULT_FONT);  
-        setForeground(DEFAULT_FOREGROUD);  
-        setBackground(DEFAULT_BACKGROUD);  
-        setPreferredSize(9999);  
-    }  
-  
-    public void setPreferredSize(int row) {  
-        int width = fontMetrics.stringWidth(String.valueOf(row));  
-        if (currentRowWidth < width) {  
-            currentRowWidth = width;  
-            setPreferredSize(new Dimension(2 * MARGIN + width, nHEIGHT));  
-        }  
-    }  
-  
-    @Override  
-    public void setFont(Font font) {  
-        super.setFont(font);  
-        fontMetrics = getFontMetrics(getFont());  
-        fontLineHeight = fontMetrics.getHeight();  
-    }  
-  
-    public int getLineHeight() {  
-        if (lineHeight == 0) {  
-            return fontLineHeight;  
-        }  
-        return lineHeight;  
-    }  
-  
-    public void setLineHeight(int lineHeight) {  
-        if (lineHeight > 0) {  
-            this.lineHeight = lineHeight;  
-        }  
-    }  
-  
-    public int getStartOffset() {  
-        return 0;  
-    }  
-  
-    @Override  
-    protected void paintComponent(Graphics g) {  
-        int nlineHeight = getLineHeight();  
-        int startOffset = getStartOffset();  
-        Rectangle drawHere = g.getClipBounds();  
-        g.setColor(getBackground());  
-        g.fillRect(drawHere.x, drawHere.y, drawHere.width, drawHere.height);  
-        g.setColor(getForeground());  
-        int startLineNum = (drawHere.y / nlineHeight) + 1;  
-        int endLineNum = startLineNum + (drawHere.height / nlineHeight);  
-        int start = (drawHere.y / nlineHeight) * nlineHeight + nlineHeight - startOffset;  
-        for (int i = startLineNum; i <= endLineNum; ++i) {  
-            String lineNum = String.valueOf(i);  
-            int width = fontMetrics.stringWidth(lineNum);  
-            g.drawString(lineNum + " ", MARGIN + currentRowWidth - width - 1, start);  
-            start += nlineHeight;  
-        }  
-        setPreferredSize(endLineNum);  
-    }  
+    public final Color DEFAULT_BACKGROUD = new Color(228, 228, 228);
+    public final Color DEFAULT_FOREGROUD = Color.BLACK;
+    public final int nHEIGHT = Integer.MAX_VALUE - 1000000;
+    public final int MARGIN = 2;
+    private final Font DEFAULT_FONT = new Font("Serif", 0, 16);
+    private int lineHeight;
+    private int fontLineHeight;
+    private int currentRowWidth;
+    private FontMetrics fontMetrics;
+
+    public LineNumberHeaderView() {
+        setFont(DEFAULT_FONT);
+        setForeground(DEFAULT_FOREGROUD);
+        setBackground(DEFAULT_BACKGROUD);
+        setPreferredSize(9999);
+    }
+
+    public void setPreferredSize(int row) {
+        int width = fontMetrics.stringWidth(String.valueOf(row));
+        if (currentRowWidth < width) {
+            currentRowWidth = width;
+            setPreferredSize(new Dimension(2 * MARGIN + width, nHEIGHT));
+        }
+    }
+
+    @Override
+    public void setFont(Font font) {
+        super.setFont(font);
+        fontMetrics = getFontMetrics(getFont());
+        fontLineHeight = fontMetrics.getHeight();
+    }
+
+    public int getLineHeight() {
+        if (lineHeight == 0) {
+            return fontLineHeight;
+        }
+        return lineHeight;
+    }
+
+    public void setLineHeight(int lineHeight) {
+        if (lineHeight > 0) {
+            this.lineHeight = lineHeight;
+        }
+    }
+
+    public int getStartOffset() {
+        return 0;
+    }
+
+    @Override
+    protected void paintComponent(Graphics g) {
+        int nlineHeight = getLineHeight();
+        int startOffset = getStartOffset();
+        Rectangle drawHere = g.getClipBounds();
+        g.setColor(getBackground());
+        g.fillRect(drawHere.x, drawHere.y, drawHere.width, drawHere.height);
+        g.setColor(getForeground());
+        int startLineNum = (drawHere.y / nlineHeight) + 1;
+        int endLineNum = startLineNum + (drawHere.height / nlineHeight);
+        int start = (drawHere.y / nlineHeight) * nlineHeight + nlineHeight -
+            startOffset;
+        for (int i = startLineNum; i <= endLineNum; ++i) {
+            String lineNum = String.valueOf(i);
+            int width = fontMetrics.stringWidth(lineNum);
+            g.drawString(lineNum + " ", MARGIN + currentRowWidth - width - 1,
+                start);
+            start += nlineHeight;
+        }
+        setPreferredSize(endLineNum);
+    }
 }