Fix bug #6488: Avoid a null pointer when accessing documentBufferView when there is none.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@33692 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Vincent van Ravesteijn 2010-03-10 14:46:28 +00:00
parent b9f89e8eb6
commit f23a2ccb58

View File

@ -1238,8 +1238,8 @@ void GuiView::disconnectBufferView()
void GuiView::errors(string const & error_type, bool from_master)
{
ErrorList & el = from_master ?
documentBufferView()->buffer().masterBuffer()->errorList(error_type)
: documentBufferView()->buffer().errorList(error_type);
currentBufferView()->buffer().masterBuffer()->errorList(error_type)
: currentBufferView()->buffer().errorList(error_type);
string data = error_type;
if (from_master)
data = "from_master|" + error_type;