#include "Paragraph.h"
#include "TexRow.h"
+#include "support/lassert.h"
#include "support/docstream.h"
#include "support/gettext.h"
+#include <QSettings>
#include <QTextCursor>
#include <QTextDocument>
+#include <QVariant>
using namespace std;
highlighter_(new LaTeXHighlighter(document_))
{
setupUi(this);
- setWindowTitle(qt_("LaTeX Source"));
connect(viewFullSourceCB, SIGNAL(clicked()),
this, SLOT(updateView()));
void ViewSourceWidget::updateView()
{
- if (autoUpdateCB->isChecked())
- update(viewFullSourceCB->isChecked());
+ BufferView * view = controller_.bufferview();
+ if (!view) {
+ document_->setPlainText(QString());
+ setEnabled(false);
+ return;
+ }
+ document_->setPlainText(controller_.getContent(
+ viewFullSourceCB->isChecked()));
GuiViewSource::Row row = controller_.getRows();
QTextCursor c = QTextCursor(viewSourceTV->document());
}
-void ViewSourceWidget::update(bool full_source)
-{
- document_->setPlainText(controller_.getContent(full_source));
-}
-
-
GuiViewSource::GuiViewSource(GuiView & parent,
Qt::DockWidgetArea area, Qt::WindowFlags flags)
- : DockView(parent, "view-source", area, flags)
+ : DockView(parent, "view-source", qt_("LaTeX Source"), area, flags)
{
widget_ = new ViewSourceWidget(*this);
setWidget(widget_);
- setWindowTitle(widget_->windowTitle());
}
void GuiViewSource::updateView()
{
- widget_->updateView();
+ if (widget_->autoUpdateCB->isChecked())
+ widget_->updateView();
+}
+
+
+void GuiViewSource::enableView(bool enable)
+{
+ if (!enable)
+ // In the opposite case, updateView() will be called anyway.
+ widget_->updateView();
+ widget_->setEnabled(enable);
}
case LITERATE:
return qt_("Literate Source");
}
- BOOST_ASSERT(false);
+ LASSERT(false, /**/);
return QString();
}
+void GuiViewSource::saveSession() const
+{
+ Dialog::saveSession();
+ QSettings settings;
+ settings.setValue(
+ sessionKey() + "/fullsource", widget_->viewFullSourceCB->isChecked());
+ settings.setValue(
+ sessionKey() + "/autoupdate", widget_->autoUpdateCB->isChecked());
+}
+
+
+void GuiViewSource::restoreSession()
+{
+ Dialog::restoreSession();
+ QSettings settings;
+ widget_->viewFullSourceCB->setChecked(
+ settings.value(sessionKey() + "/fullsource", false).toBool());
+ widget_->autoUpdateCB->setChecked(
+ settings.value(sessionKey() + "/autoupdate", true).toBool());
+}
+
+
Dialog * createGuiViewSource(GuiView & lv)
{
return new GuiViewSource(lv);