/// \name GuiBufferDelegate.
//@{
void resetAutosaveTimers();
+ // shows an error list (possibly master's)
+ // even if from_master is false, might show master's error list.
+ // this function should only be called if there was an error (#11106).
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;