# HG changeset patch
# User wenzelm
# Date 1412439985 -7200
# Node ID 207fb06aa18970ae9a6072d3c188c579ab77cadd
# Parent  402a8e8107a71b5bca92e28ab06d1c7a29b1bf59
mark hard tabs as single chunks, as required by jEdit (see 0fd2bf8eaa9f);

diff -r 402a8e8107a7 -r 207fb06aa189 src/Tools/jEdit/src/bibtex_token_markup.scala
--- a/src/Tools/jEdit/src/bibtex_token_markup.scala	Sat Oct 04 18:16:24 2014 +0200
+++ b/src/Tools/jEdit/src/bibtex_token_markup.scala	Sat Oct 04 18:26:25 2014 +0200
@@ -81,7 +81,13 @@
         for ((style, token) <- styled_tokens) {
           val length = token.length
           val end_offset = offset + length
-          handler.handleToken(line, style, offset, length, context1)
+
+          if ((offset until end_offset).exists(i => line.charAt(i) == '\t')) {
+            for (i <- offset until end_offset)
+              handler.handleToken(line, style, i, 1, context1)
+          }
+          else handler.handleToken(line, style, offset, length, context1)
+
           offset += length
         }
         handler.handleToken(line, JEditToken.END, line.count, 0, context1)