{
return editArea.hasFocus();
}
};
splitter.setUI( new SoapUISplitPaneUI() );
splitter.setDividerSize( 0 );
splitter.setOneTouchExpandable( true );
lineNumbersPanel = new LineNumbersPanel( editArea );
lineNumbersPanel.setVisible( SoapUI.getSettings().getBoolean( UISettings.SHOW_XML_LINE_NUMBERS ) );