[LyX/2.3.x] Fix bug #12711

[Enrico Forestieri]

commit 27208273eff9c2b2d188bc456f09f85d0f9674fc
Author: Enrico Forestieri <forenr at lyx.org>
Date:   Sun Mar 19 23:40:15 2023 +0100

    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(+), 0 deletions(-)

diff --git a/lib/autocorrect b/lib/autocorrect
index a9c47e1..09833b4 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 4e48ecf..03bc8da 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