From 27208273eff9c2b2d188bc456f09f85d0f9674fc Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Sun, 19 Mar 2023 23:40:15 +0100 Subject: [PATCH] Fix bug #12711 Add a few missing autocorrect combinations and allow cycling through arrows. The way autocorrect is implemented it is not possible to map --> and ==> to \longleftarrow and \Longleftarrow, respectively. One has to type ->- and =>= to that effect, which may be counterintuitive. This commit allows typing -> or => followed by * to cycle through all possible arrows of the same type. --- lib/autocorrect | 18 ++++++++++++++++++ status.23x | 3 +++ 2 files changed, 21 insertions(+) diff --git a/lib/autocorrect b/lib/autocorrect index a9c47e1474..09833b440f 100644 --- a/lib/autocorrect +++ b/lib/autocorrect @@ -119,7 +119,25 @@ \leftarrow - \longleftarrow \longleftarrow > \longleftrightarrow = > \Rightarrow += < \Leftarrow +\Rightarrow = \Longrightarrow +\Leftarrow > \Leftrightarrow +\Leftarrow = \Longleftarrow +\Longleftarrow > \Longleftrightarrow +\leftarrow * \longleftarrow +\longleftarrow * \longleftrightarrow +\longleftrightarrow * \leftrightarrow +\leftrightarrow * \leftarrow +\rightarrow * \longrightarrow +\longrightarrow * \longleftrightarrow + +\Leftarrow * \Longleftarrow +\Longleftarrow * \Longleftrightarrow +\Longleftrightarrow * \Leftrightarrow +\Leftrightarrow * \Leftarrow +\Rightarrow * \Longrightarrow +\Longrightarrow * \Longleftrightarrow @ * \circ \circ / \varnothing diff --git a/status.23x b/status.23x index 4e48ecfbc0..03bc8dafc9 100644 --- a/status.23x +++ b/status.23x @@ -26,6 +26,9 @@ What's new * USER INTERFACE +- Add a few missing autocorrect combinations and allow cycling through arrows + (bug 12711). + * DOCUMENTATION AND LOCALIZATION