On Mon, Nov 14, 2011 at 2:24 AM, Petr Tomasek <tomasek at etf.cuni.cz> wrote: > Using different color. > Do we really want to tie XeTeX users to a small number of editors? Chris Travers