-///
-/// No document- (that is, Buffer-) specific information should
-/// be placed in these objects. They are used as the basis for
+///
+/// No document- (that is, Buffer-) specific information should
+/// be placed in these objects. They are used as the basis for
/// a subclass of TextClass, implemented in TextClass.{h,cpp}.)
/// Buffer-specific information should therefore be placed in a
/// DocumentClass object.
/// a subclass of TextClass, implemented in TextClass.{h,cpp}.)
/// Buffer-specific information should therefore be placed in a
/// DocumentClass object.
public:
/// check whether the TeX class is available
bool isTeXClassAvailable() const { return tex_class_avail_; }
///
public:
/// check whether the TeX class is available
bool isTeXClassAvailable() const { return tex_class_avail_; }
///
/// Construct a layout with default values. Actual values loaded later.
explicit LayoutFile(std::string const & filename,
std::string const & className = std::string(),
/// Construct a layout with default values. Actual values loaded later.
explicit LayoutFile(std::string const & filename,
std::string const & className = std::string(),
/// LayoutFileList, which calls the private constructor.
friend class LayoutFileList;
/// can't create empty LayoutFile
/// LayoutFileList, which calls the private constructor.
friend class LayoutFileList;
/// can't create empty LayoutFile
/// Read textclass list. Returns false if this fails.
bool read();
/// Clears the textclass so as to force it to be reloaded
/// Read textclass list. Returns false if this fails.
bool read();
/// Clears the textclass so as to force it to be reloaded
/// Add a default textclass with all standard layouts.
/// Note that this will over-write any information we may have
/// Add a default textclass with all standard layouts.
/// Note that this will over-write any information we may have
/// add a textclass from user local directory.
/// \return the identifier for the loaded file, or else an
/// empty string if no file was loaded.
/// add a textclass from user local directory.
/// \return the identifier for the loaded file, or else an
/// empty string if no file was loaded.
- LayoutFileIndex
- addLocalLayout(std::string const & textclass, std::string const & path);
+ LayoutFileIndex addLocalLayout(std::string const & textclass,
+ std::string const & path,
+ std::string const & oldpath = empty_string());