/// \name GuiBufferDelegate.
//@{
void resetAutosaveTimers();
+ // shows an error list
+ // if from_master is true, show master's error list
void errors(std::string const &, bool from_master = false);
void structureChanged();
void updateTocItem(std::string const &, DocIterator const &);
/// Statusbar widget that shows version control status
QLabel * version_control_;
+ /// The rate from which the actual zoom value is calculated
+ /// from the default zoom pref
+ double zoom_ratio_ = 1.0;
/// Minimum zoom percentage
static int const zoom_min_ = 10;