#include "Text.h"
#include "TextClass.h"
-#include "frontends/Painter.h"
#include "frontends/Application.h"
+#include "frontends/Painter.h"
-#include "support/lassert.h"
#include "support/convert.h"
#include "support/debug.h"
#include "support/docstream.h"
#include "support/ExceptionMessage.h"
#include "support/gettext.h"
+#include "support/lassert.h"
#include <map>
InsetName("index_print", INDEX_PRINT_CODE),
InsetName("nomencl_print", NOMENCL_PRINT_CODE),
InsetName("optarg", OPTARG_CODE),
- InsetName("environment", ENVIRONMENT_CODE),
InsetName("newline", NEWLINE_CODE),
InsetName("line", LINE_CODE),
InsetName("branch", BRANCH_CODE),
bool Inset::isBufferValid() const
{
- return theBufferList().isLoaded(buffer_);
+ return buffer_ && theBufferList().isLoaded(buffer_);
}
ColorCode Inset::backgroundColor() const
{
- return Color_background;
+ return Color_none;
}