Pavel Sanda wrote:
+def revert_backref_options(document):
+ ' Remove pageref additional options '
+ i = find_token(document.header, "\\pdf_pageref", 0)
+ if i != -1:
+ del document.header[i]
+
+
+def convert_backref_options(document):
+ ' We have lost pagebackref option in favor of pageref '
+ i = find_token(document.header, "\\pdf_pagebackref", 0)
+ if i != -1:
+ del document.header[i]
+
Is it possible to convert between pageref and pagebackref? Or is this
just lost data?
-int const LYX_FORMAT = 343;
+// Do not remove the comment below, so we get merge conflict in
+// in independent branches.
+int const LYX_FORMAT = 344; // ps: backref
Thanks for putting this back! It keeps disappearing.
This looks fine to me, if we're sure about the LaTeX part.
rh
