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.
This commit is contained in:
Jean-Marc Lasgouttes 2020-10-01 12:44:38 +02:00
parent 64f001e6cd
commit 7d96531909

View File

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