inputArea.setEditable( false );
inputArea.getPainter().setLineHighlightEnabled( true );
JPanel p = new JPanel( new BorderLayout() );
p.add( inputArea, BorderLayout.CENTER );
p.add( new LineNumbersPanel( inputArea ), BorderLayout.WEST );
JScrollPane scrollPane = new JScrollPane( p );
UISupport.addPreviewCorner( scrollPane, true );
panel.add( scrollPane, BorderLayout.CENTER );
partTabs.addTab( title, panel );