Set font in BufferView::setCursor (#9500)

This solves a few bugs related to the font not being set correctly.
For example, when putting a selection somewhere with
putSelectionAt(), the font was not reset so that before this commit
if the cursor was in an ERT, strange things could happen.
putSelectionAt() is notably used when highlighting the location
corresponding with a LaTeX error (GuiErrorList), when using find,
and when using the spellcheck. I could reproduce the bug using all
three of these.

Bug #9500 is an example of the type of bugs that this commit fixes.

(cherry picked from commit f8774a446b)
This commit is contained in:
Scott Kostyshak 2015-07-23 23:27:47 -04:00
parent 1c8033f0c0
commit 039f25e657
2 changed files with 3 additions and 0 deletions

View File

@ -2458,6 +2458,7 @@ void BufferView::setCursor(DocIterator const & dit)
d->cursor_.setCursor(dit);
d->cursor_.setSelection(false);
d->cursor_.setCurrentFont();
// FIXME
// It seems on general grounds as if this is probably needed, but
// it is not yet clear.

View File

@ -73,6 +73,8 @@ What's new
- Reset cursor font when leaving an inset to the left (bug 6032).
- Reset cursor font when navigating with find or spellcheck (bug 9500).
- Correctly update previews when cursor leaves inset (bug 6173).