JTextArea中显示LineNumber[Java编程]

//package tryLineNumber;

import java.awt.BorderLayout; 
import java.awt.Dimension; 
import java.awt.Graphics; 
import java.awt.Point; 


import javax.swing.JFrame; 
import javax.swing.JTextArea;
import javax.swing.JPanel; 
import javax.swing.JScrollPane; 
//import javax.swing.JTextPane; 
import javax.swing.text.BadLocationException;
import javax.swing.text.Document; 


/** 
  * A class illustrating running line number count on JTextPane. Nothing 
is painted on the pane itself, 
  * but a separate JPanel handles painting the line numbers.
 
  * 
  * @author Daniel Sj?blom
 
  * Created on Mar 3, 2004
 
  * Copyright (c) 2004
 
  * @version 1.0
 
  */ 
public class LineNr extends JPanel 
{ 
        // for this simple experiment, we keep the pane + scrollpane as members. 
        //JTextPane pane; 
        JTextArea pane;
        JScrollPane scrollPane; 


        public LineNr() 
        { 
                super(); 
                setMinimumSize(new Dimension(30, 30)); 
                setPreferredSize(new Dimension(30, 30)); 
                setMinimumSize(new Dimension(30, 30)); 
                //pane = new JTextPane() // we need to override paint so that the linenumbers stay in sync 
                pane = new JTextArea()
                { 
                        public void paint(Graphics g) 
                        { 
                                super.paint(g); 
                                LineNr.this.repaint(); 
                        } 
                }; 
                scrollPane = new JScrollPane(pane); 


        } 
        public void paint(Graphics g) 
        { 
                super.paint(g); 


                // We need to properly convert the points to match the viewport 
                // Read docs for viewport 
                int start =pane.viewToModel(scrollPane.getViewport().getViewPosition()); // starting pos in document 
                int end = 
                        pane.viewToModel( 
                                new Point( 
                                        scrollPane.getViewport().getViewPosition().x + pane.getWidth(), 
                                        scrollPane.getViewport().getViewPosition().y + pane.getHeight())); 
                // end pos in doc 


                // translate offsets to lines 
                Document doc = pane.getDocument(); 
                int startline = doc.getDefaultRootElement().getElementIndex(start) + 1; 
                int endline = doc.getDefaultRootElement().getElementIndex(end) + 1; 


                int fontHeight = g.getFontMetrics(pane.getFont()).getHeight(); 
                int fontDesc = g.getFontMetrics(pane.getFont()).getDescent(); 
                int starting_y = -1; 


                try 
                { 
                        starting_y = pane.modelToView(start).y - 
scrollPane.getViewport().getViewPosition().y + fontHeight - fontDesc; 
                } 
                catch (BadLocationException e1) 
                { 
                        e1.printStackTrace(); 
                } 


                for (int line = startline, y = starting_y; line <= endline; y += fontHeight, line++) 
                { 
                        g.drawString(Integer.toString(line), 0, y); 
                } 


        } 

        // test main 
        public static void main(String[] args) 
        { 
                JFrame frame = new JFrame(); 
                frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); 
                frame.getContentPane().setLayout(new BorderLayout()); 
                final LineNr nr = new LineNr(); 
                frame.getContentPane().add(nr, BorderLayout.WEST); 
                frame.getContentPane().add(nr.scrollPane, BorderLayout.CENTER); 
                frame.pack(); 
                frame.setSize(new Dimension(400, 400)); 
                frame.show(); 
        } 

}