Prevent that another processor (such as xindy) is used when set in prefs.
xindy does not play well with hyperref.
Fixes#11708
(cherry picked from commit cb25603ae1c68470755851e25c3ef87b96d33344)
This short title removed a spaced, and when taking a look we decided
that the advantages of removing it (simplicity and consistency)
outweigh the benefits of having a shorter entry in the table of
contents and PDF bookmarks.
(cherry picked from commit 9c748a04702a979786f39bb7fa367e3945b51ae3)
lyx2lyx erroneousely merged -- to en dash in text with logical
markup "code".
Revealed by recent (but now silenced) ctest fails.
Also add space around en dash in examples.
Now layouts can specify other layouts that should be nested in and
after the current one (if the layout is switched from the current one
and if it follows a paragraph in the current one).
This is particularly useful for things such as the beamer frames, where
particular layouts are practically always nested.
This is a backport from master, including all fixes.
The current spelling is not strictly wrong, but flagged as unusual or
historical by some authorities. It is also found fault with many
spell checkers. Thus we decided to move to the more standard "-ible"
form once and for all.
See #10678 for discussion
This part covers the most tricky part: the internal naming.
Translations and layouts will follow.
This will all also all be backported to 2.3.x, for the sake of backwards
compatibility (cherry-picking).
(cherry picked from commit c466baaa5b99e44ea25616556bd0918197f4b54c)
The previous link still worked but asked for bookmarks to be updated
to the newer URL.
Thanks to Ian Holliday for this correction.
(cherry picked from commit 4b1f3ab53924eb4b4c60871dec33617d6d86d3b0)
Our URL tests have been reporting the previous URL for a few months
as broken, and browser confirms it.
(cherry picked from commit b5662f1d217e67a702c7966a002edc005b4357e3)
Norman Ramsey is now at Tufts, and URLs to his websites at previous
institutions are broken. The new link gives the same information as
the old links did (verified with web.archive.org).
(cherry picked from commit be91997227f69d9622a928b0d4870fbaee0a844e)
Our URL tests have been reporting the previous URL for a few months
as broken, and browser confirms it.
(cherry picked from commit 7b6fc48c22d38a6f04bc09766aa9df2946b51d2c)
