From 7d9653190918cffac883d0f0977564c0e11275df Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Thu, 1 Oct 2020 12:44:38 +0200
Subject: [PATCH] Fix bug where cursor size is not reset correctly.

A couple of calls to setCurrentFont fix the issue, but there has to be
more cases to catch. I am not sure why it used to work.
---
 src/Text3.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Text3.cpp b/src/Text3.cpp
index 94c6d13fbc..0d7aa48a01 100644
--- a/src/Text3.cpp
+++ b/src/Text3.cpp
@@ -131,6 +131,7 @@ static void moveCursor(Cursor & cur, bool selecting)
 {
 	if (selecting || cur.mark())
 		cur.setSelection();
+	cur.setCurrentFont();
 }
 
 
@@ -1262,6 +1263,7 @@ void Text::dispatch(Cursor & cur, FuncRequest & cmd)
 				// and the selection is not really cut,
 				// move cursor before selection (#11630)
 				cur.setCursor(dit);
+			cur.setCurrentFont();
 			singleParUpdate = false;
 		}
 		break;