X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FBufferList.h;h=053169af611e2533d264d9b9bf22f38b6c600751;hb=b536759c0769dab641993347baeb62400455be04;hp=ca55abe8c9fdd63ce9be84fb947f53a3641fa394;hpb=8b107f0490e61b4390e925f08d21661ef50d6f49;p=lyx.git

diff --git a/src/BufferList.h b/src/BufferList.h
index ca55abe8c9..053169af61 100644
--- a/src/BufferList.h
+++ b/src/BufferList.h
@@ -58,7 +58,7 @@ public:
 	/// Is child a child of some Buffer other than parent?
 	/// NOTE: child must be a child of parent, and both must be non-null.
 	/// Otherwise we assert.
-	bool isOthersChild(Buffer * parent, Buffer * child);
+	bool isOthersChild(Buffer * parent, Buffer * child) const;
 
 	/// delete a buffer
 	void release(Buffer * b);
@@ -100,8 +100,9 @@ public:
 	/// \return a pointer to the buffer with the given number
 	Buffer * getBuffer(unsigned int);
 
-	/// \return a pointer to the buffer whose temppath matches the given path
-	Buffer * getBufferFromTmp(std::string const & path);
+	/// \return a pointer to the buffer whose temppath matches the given \p path
+	///  If optional \p realpath is \c true the lookup is done with real path names
+	Buffer * getBufferFromTmp(std::string const & path, bool realpath = false);
 
 	/** returns a pointer to the buffer that follows argument in
 	 * buffer list. The buffer following the last in list is the