- /// return index of named buffer in buffer list
- int bufferNum(std::string const & name) const;
- /// returns a pointer to the buffer with the given name.
- Buffer * getBuffer(std::string const &);
- /// returns a pointer to the buffer with the given number.
+ /// \return index of named buffer in buffer list
+ int bufferNum(support::FileName const & name) const;
+
+ /** returns a pointer to the buffer with the given name
+ *
+ * \param internal
+ * If true, the buffer is searched also among internal buffers
+ */
+ Buffer * getBuffer(support::FileName const & name, bool internal = false) const;
+
+ /// \return a pointer to the buffer with the given number