From e3e46e3b17ce65133c449f7281de9b890edc91de Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 5 Jun 2018 02:39:42 +0100 Subject: [PATCH] Eat more white spaces. --- .../com/logicalhacking/dof/converter/DofConverter.scala | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala b/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala index 282aad8f..58b31014 100644 --- a/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala +++ b/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala @@ -158,7 +158,9 @@ object DofConverter { } } - val (pre, tail) = cmd match { + + + val (pre:List[LaTeXToken], tail:List[LaTeXToken]) = cmd match { case """chapter""" => { val (typ,sectionArgs, tail) = parseIsaDofCmd(Nil, tokens) (sep::COMMAND("""\isaDofChapter"""+typ) :: sectionArgs,tail) @@ -185,7 +187,7 @@ object DofConverter { } case s => (sep::COMMAND("""\isaDofUnknown{""" + s + """}""")::sep::Nil, tokens) } - pre ++ convertLaTeXTokenStream(tail) + backSpace(pre) ++ convertLaTeXTokenStream(delSpace(tail)) } def convertLaTeXTokenStream(tokens: List[LaTeXToken]): List[LaTeXToken] = {