+GuiViewSource::GuiViewSource(GuiView & parent,
+ Qt::DockWidgetArea area, Qt::WindowFlags flags)
+ : DockView(parent, "view-source", qt_("LaTeX Source"), area, flags)
+{
+ widget_ = new ViewSourceWidget();
+ setWidget(widget_);
+}
+
+
+GuiViewSource::~GuiViewSource()
+{
+ delete widget_;
+}
+
+
+void GuiViewSource::updateView()
+{
+ if (widget_->autoUpdateCB->isChecked()) {
+ widget_->setBufferView(bufferview());
+ widget_->updateView();
+ }
+}
+
+
+void GuiViewSource::enableView(bool enable)
+{
+ widget_->setBufferView(bufferview());
+ if (!enable)
+ // In the opposite case, updateView() will be called anyway.
+ widget_->updateView();
+}
+
+
+bool GuiViewSource::initialiseParams(string const & /*source*/)
+{
+ setWindowTitle(title());
+ return true;
+}
+
+
+QString GuiViewSource::title() const