Chinaunix首页 | 论坛 | 博客
  • 博客访问: 591070
  • 博文数量: 718
  • 博客积分: 4000
  • 博客等级: 上校
  • 技术积分: 4960
  • 用 户 组: 普通用户
  • 注册时间: 2008-10-17 13:24
文章分类

全部博文(718)

文章存档

2011年(1)

2008年(717)

我的朋友

分类:

2008-10-17 13:28:05

//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();
        }

}

【责编:Peng】

--------------------next---------------------

阅读(365) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~