Don't use widest label for numerical citations.

[lyx.git] / lib / lyx2lyx / lyx_0_10.py

diff --git a/lib/lyx2lyx/lyx_0_10.py b/lib/lyx2lyx/lyx_0_10.py
index 47acf25a4e3e5d914669894154df8fa77a6211fc..dc2d09e868962ec13a0451e7b0208f7b86af9ec9 100644 (file)
--- a/lib/lyx2lyx/lyx_0_10.py
+++ b/lib/lyx2lyx/lyx_0_10.py
@@ -14,14 +14,125 @@
 #
 # You should have received a copy of the GNU General Public License
 # along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
 
-""" Convert files generated by lyx 0.10"""
+""" Convert files to the file format generated by lyx 0.10"""
 
-convert = [[210, []]]
+def regularise_header(document):
+    " Put each entry in header into a separate line. "
+    i = 0
+    while i < len(document.header):
+        line = document.header[i]
+        if len(line.split('\\')) > 1:
+            tmp = [ '\\'+ token.strip() for token in line.split('\\')][1:]
+            document.header[i: i+1] = tmp
+            i += len(tmp)
+        i += 1
+
+
+def find_next_space(line, j):
+    """ Return position of next space or backslash, which one comes
+    first, starting from position k, if not existing return last
+    position in line."""
+    l = line.find(' ', j)
+    if l == -1:
+        l = len(line)
+    k = line.find('\\', j)
+    if k == -1:
+        k = len(line)
+
+    if k < l:
+        return k
+    return l
+
+
+def regularise_body(document):
+    """ Place tokens starting with a backslash into a separate line. """
+
+    getline_tokens = ["added_space_bottom", "added_space_top",
+                      "align", "layout", "fill_bottom", "fill_top",
+                      "labelwidthstring", "pagebreak_top",
+                      "pagebreak_bottom", "noindent"]
+
+    noargs_tokens = ["backslash", "begin_deeper", "end_deeper",
+                     "end_float", "end_inset", "hfill", "newline",
+                     "protected_separator"]
+
+    onearg_tokens = ["bar", "begin_float", "family", "latex", "shape",
+                     "size", "series", "cursor"]
+
+    i = 0
+    while i < len(document.body):
+        line = document.body[i]
+        j = 0
+        tmp = []
+        while j < len(line):
+            k = line.find('\\', j)
+
+            if k == -1:
+                tmp += [line[j:]]
+                break
+
+            if k != j:
+                tmp += [line[j: k]]
+                j = k
+
+            k = find_next_space(line, j+1)
+
+            # These tokens take the rest of the line
+            token = line[j+1:k]
+            if token in getline_tokens:
+                tmp += [line[j:]]
+                break
+
+            # These tokens take no arguments
+            if token in noargs_tokens:
+                tmp += [line[j:k]]
+                j = k
+                continue
+
+            # These tokens take one argument
+            if token in onearg_tokens:
+                k = find_next_space(line, k + 1)
+                tmp += [line[j:k]]
+                j = k
+                continue
+
+            # Special treatment for insets
+            if token in ["begin_inset"]:
+                l = find_next_space(line, k + 1)
+                inset = line[k+1: l]
+
+                if inset == "Latex":
+                    tmp += [line[j:l]]
+                    j = l
+                    continue
+
+                if inset in ["LatexCommand", "LatexDel"]:
+                    tmp += [line[j:]]
+                    break
+
+                if inset == "Quotes":
+                    l = find_next_space(line, l + 1)
+                    tmp += [line[j:l]]
+                    j = l
+                    continue
+
+                document.warning("unkown inset %s" % line)
+                assert(False)
+
+            # We are inside a latex inset, pass the text verbatim
+            tmp += [line[j:]]
+            break
+
+        document.body[i: i+1] = tmp
+        i += len(tmp)
+
+
+supported_versions = ["0.10.%d" % i for i in range(8)] + ["0.10"]
+convert = [[210, [regularise_header, regularise_body]]]
 revert  = []
 
 
 if __name__ == "__main__":
     pass
-