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_);
}