public static void main(String[] args) { JFrame frame = new JFrame("LineNumberDemo"); frame.setDefaultCloseOperation( JFrame.EXIT_ON_CLOSE ); JPanel panel = new JPanel(); frame.setContentPane( panel ); panel.setBorder(BorderFactory.createEmptyBorder(20,20,20,20)); panel.setLayout(new BorderLayout()); JTextPane textPane = new JTextPane(); textPane.setFont( new Font("monospaced", Font.PLAIN, 12) ); textPane.setText("abc"); JScrollPane scrollPane = new JScrollPane(textPane); panel.add(scrollPane); scrollPane.setPreferredSize(new Dimension(300, 250)); LineNumber lineNumber = new LineNumber( textPane ); scrollPane.setRowHeaderView( lineNumber ); frame.pack(); frame.setVisible(true); } }
public static void main(String[] args) { JFrame frame = new JFrame("LineNumberDemo"); frame.setDefaultCloseOperation( JFrame.EXIT_ON_CLOSE ); JPanel panel = new JPanel(); frame.setContentPane( panel ); panel.setBorder(BorderFactory.createEmptyBorder(20,20,20,20)); panel.setLayout(new BorderLayout()); JTextPane textPane = new JTextPane(); textPane.setFont( new Font("monospaced", Font.PLAIN, 12) ); textPane.setText("abc"); JScrollPane scrollPane = new JScrollPane(textPane); panel.add(scrollPane); scrollPane.setPreferredSize(new Dimension(300, 250)); LineNumber lineNumber = new LineNumber( textPane ); scrollPane.setRowHeaderView( lineNumber ); frame.pack(); frame.setVisible(true); } }
public Component getComponent() { if (_scroller == null) { if (_comp == null) { _comp = createSourcePanel(); } _scroller = new JScrollPane(_comp); LineNumber lineNumber = new LineNumber(_comp); _scroller.setRowHeaderView(lineNumber); _scroller.getVerticalScrollBar().setUnitIncrement(10); } return _scroller; }
public Component getComponent() { if (_scroller == null) { if (_comp == null) { _comp = createSourcePanel(); } _scroller = new JScrollPane(_comp); LineNumber lineNumber = new LineNumber(_comp); _scroller.setRowHeaderView(lineNumber); _scroller.getVerticalScrollBar().setUnitIncrement(10); } return _scroller; }