commit f8774a446b2feb8edf664ecc71a491fce103b043
Author: Scott Kostyshak <[email protected]>
Date: Thu Jul 23 23:27:47 2015 -0400
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.
diff --git a/src/BufferView.cpp b/src/BufferView.cpp
index 19425cc..8596247 100644
--- a/src/BufferView.cpp
+++ b/src/BufferView.cpp
@@ -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.
