1. 2007-02-08 Re: interface for arbitrary highlight? ktexteditor Anders Lund 2. 2007-02-08 Re: interface for arbitrary highlight? ktexteditor Hamish Rodda 3. 2007-02-07 Re: interface for arbitrary highlight? ktexteditor Anders Lund 4. 2007-02-07 Re: interface for arbitrary highlight? ktexteditor Hamish Rodda 5. 2007-02-07 Re: interface for arbitrary highlight? ktexteditor Dominik Haumann 6. 2007-02-06 Re: interface for arbitrary highlight? ktexteditor Anders Lund 7. 2007-02-06 Re: interface for arbitrary highlight? ktexteditor Anders Lund 8. 2007-02-06 Re: interface for arbitrary highlight? ktexteditor Anders Lund 9. 2007-02-06 Re: interface for arbitrary highlight? ktexteditor Dominik Haumann 10. 2007-02-06 interface for arbitrary highlight? ktexteditor Anders Lund