On 03/06/2010 16:09, Graeme Geldenhuys wrote: > On 3 June 2010 15:25, Martin wrote: > >> can you send me your editoroptions.xml please? >> > It's attached. > mostly fixed. => you can update bug remains open, since there is a remaining issue, when *changing* the color scheme