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.
This commit is contained in:
Scott Kostyshak 2015-07-23 23:27:47 -04:00
parent db94b6f1fa
commit f8774a446b

View File

@ -2482,6 +2482,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.