#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 std::string;
+using namespace std;
namespace lyx {
namespace frontend {
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);
}
par_end = view->cursor().selectionEnd().bottom().pit();
}
if (par_begin > par_end)
- std::swap(par_begin, par_end);
+ swap(par_begin, par_end);
odocstringstream ostr;
view->buffer().getSourceCode(ostr, par_begin, par_end + 1, fullSource);
return toqstr(ostr.str());
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);