[LyX/master] Further simplification

[Juergen Spitzmueller]

commit 6d6eda39502a3787edf6bf38d8428ce6e1c35c28
Author: Juergen Spitzmueller <sp...@lyx.org>
Date:   Sun Mar 10 12:43:09 2019 +0100

    Further simplification
---
 lib/lyx2lyx/lyx2lyx_tools.py |   10 ++--------
 1 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/lib/lyx2lyx/lyx2lyx_tools.py b/lib/lyx2lyx/lyx2lyx_tools.py
index a2930de..51b4ec4 100644
--- a/lib/lyx2lyx/lyx2lyx_tools.py
+++ b/lib/lyx2lyx/lyx2lyx_tools.py
@@ -572,7 +572,7 @@ def insert_document_option(document, option):
         return
 
     # add it to the end of the options
-    document.header[options_line] += " ,%s" % option
+    document.header[options_line] += ",%s" % option
 
 
 def remove_document_option(document, option):
@@ -746,13 +746,7 @@ def revert_language(document, lyxname, babelname, 
polyglossianame):
 
         # With babel, we need to add the language options
         if with_babel and (primary or secondary):
-            k = find_token(document.header, "\\options")
-            if k != -1:
-                opts = get_value(document.header, "\\options", i)
-                document.header[k] = "\\options %s,%s" % (opts, babelname)
-            else:
-                l = find_token(document.header, "\\use_default_options")
-                document.header.insert(l + 1, "\\options %s" % babelname)
+            insert_document_option(document, babelname)
             if secondary:
                 # Since the user options are always placed after the babel 
options,
                 # we need to reset the main language