#include "ui_ViewSourceUi.h"
+#include "Buffer.h"
#include "DockView.h"
-#include "GuiView.h"
-#include "qt_helpers.h"
+#include "TexRow.h"
#include <QDockWidget>
#include <QString>
-#include <QTextCharFormat>
+#include <QTimer>
class QTextDocument;
ViewSourceWidget();
///
void setBufferView(BufferView const * bv);
+ /// returns true if the string has changed
+ bool setText(QString const & qstr = QString());
+ ///
+ void saveSession(QString const & session_key) const;
+ ///
+ void restoreSession(QString const & session_key);
+
+protected:
+ ///
+ void resizeEvent (QResizeEvent * event);
public Q_SLOTS:
- // update content
+ /// schedule an update after delay
void updateView();
+ /// schedule an update now
+ void updateViewNow();
+ ///
+ void setViewFormat(int const index);
+ //
+ void updateDefaultFormat();
+ ///
+ void contentsChanged();
+ ///
+ void gotoCursor();
+
+private Q_SLOTS:
+ /// update content
+ void realUpdateView();
private:
+ /// Get the source code of selected paragraphs, or the whole document.
+ void getContent(BufferView const * view, Buffer::OutputWhat output,
+ docstring & str, std::string const & format, bool master);
///
BufferView const * bv_;
///
QTextDocument * document_;
/// LaTeX syntax highlighter
LaTeXHighlighter * highlighter_;
+ ///
+ QString view_format_;
+ ///
+ QTimer * update_timer_;
+ /// TexRow information from the last source view. If TexRow is unavailable
+ /// for the last format then texrow_ is null.
+ std::auto_ptr<TexRow> texrow_;
};