public Q_SLOTS:
// update content
void updateView();
+ ///
+ void updateDefaultFormat();
+ ///
+ void fullSourceChanged();
private:
///
QTextDocument * document_;
/// LaTeX syntax highlighter
LaTeXHighlighter * highlighter_;
+ ///
+ bool force_getcontent_;
};