bool hasParWithID(int id) const;
/// This signal is emitted when the buffer is changed.
- boost::signal<void(bool)> changed;
+ boost::signal<void()> changed;
/// This signal is emitted when some parsing error shows up.
boost::signal<void(std::string)> errors;
/// This signal is emitted when some message shows up.
Language const * getLanguage() const;
/// get l10n translated to the buffers language
docstring const B_(std::string const & l10n) const;
+ /// translate \p label to the buffer language if possible
+ docstring const translateLabel(docstring const & label) const;
///
int runChktex();