<?xml version="1.0"?> <CONFIG> <EditorOptions Version="2"> <Display EditorFont="-adobe-courier-medium-r-normal-*-*-*-*-*-*-*-iso10646-1" ExtraLineSpacing="2"/> </EditorOptions> </CONFIG>
<?xml version="1.0"?> <CONFIG> <EditorOptions Version="2"> <Display EditorFont="-adobe-courier-medium-r-normal-*-*-*-*-*-*-*-iso10646-1" ExtraLineSpacing="2"/> </EditorOptions> </CONFIG>