#include "Citation.h"
#include "ColorCode.h"
+#include "ColorSet.h"
#include "DocumentClassPtr.h"
#include "LayoutModuleList.h"
#include "paper.h"
/// read a header token, if unrecognised, return it or an unknown class name
std::string readToken(Lexer & lex,
std::string const & token, ///< token to read.
- support::FileName const & filepath);
+ support::FileName const & filename);
///
void writeFile(std::ostream &, Buffer const *) const;
/// on to class BufferView::updateDocumentClass(). The exception, of course,
/// is in GuiDocument, where we use a BufferParams simply to hold a copy of
/// the parameters from the active Buffer.
- void makeDocumentClass(bool const clone = false);
+ void makeDocumentClass(bool clone = false, bool internal = false);
/// Returns the DocumentClass currently in use: the BaseClass as modified
/// by modules.
DocumentClass const & documentClass() const;
///
RGBColor notefontcolor;
///
+ bool isnotefontcolor;
+ ///
RGBColor boxbgcolor;
+ ///
+ bool isboxbgcolor;
/// \param index should lie in the range 0 <= \c index <= 3.
Bullet & temp_bullet(size_type index);
Bullet const & temp_bullet(size_type index) const;