]> git.lyx.org Git - lyx.git/blobdiff - src/frontends/qt4/GuiViewSource.cpp
Fix bug #6997
[lyx.git] / src / frontends / qt4 / GuiViewSource.cpp
index 245dc71b18f54932f8fac89e85d7380ad8438f50..a5beae5da691e673c05fa55d77e9ae9274527128 100644 (file)
 #include "Paragraph.h"
 #include "TexRow.h"
 
+#include "support/debug.h"
+#include "support/lassert.h"
 #include "support/docstream.h"
 #include "support/gettext.h"
 
+#include <boost/crc.hpp>
+
+#include <QSettings>
 #include <QTextCursor>
 #include <QTextDocument>
+#include <QVariant>
 
 using namespace std;
 
 namespace lyx {
 namespace frontend {
 
-ViewSourceWidget::ViewSourceWidget(GuiViewSource & controller)
-       :       controller_(controller), document_(new QTextDocument(this)),
+ViewSourceWidget::ViewSourceWidget()
+       :       bv_(0), document_(new QTextDocument(this)),
                highlighter_(new LaTeXHighlighter(document_))
 {
        setupUi(this);
@@ -44,6 +50,8 @@ ViewSourceWidget::ViewSourceWidget(GuiViewSource & controller)
                this, SLOT(updateView()));
        connect(autoUpdateCB, SIGNAL(toggled(bool)),
                updatePB, SLOT(setDisabled(bool)));
+       connect(autoUpdateCB, SIGNAL(toggled(bool)),
+               this, SLOT(updateView()));
        connect(updatePB, SIGNAL(clicked()),
                this, SLOT(updateView()));
 
@@ -65,32 +73,93 @@ ViewSourceWidget::ViewSourceWidget(GuiViewSource & controller)
 }
 
 
+static size_t crcCheck(docstring const & s)
+{
+       boost::crc_32_type crc;
+       crc.process_bytes(&s[0], sizeof(char_type) * s.size());
+       return crc.checksum();
+}
+
+
+/** get the source code of selected paragraphs, or the whole document
+       \param fullSource get full source code
+       \return true if the content has changed since last call.
+ */
+static bool getContent(BufferView const * view, bool fullSource, QString & qstr)
+{
+       // get the *top* level paragraphs that contain the cursor,
+       // or the selected text
+       pit_type par_begin;
+       pit_type par_end;
+
+       if (!view->cursor().selection()) {
+               par_begin = view->cursor().bottom().pit();
+               par_end = par_begin;
+       } else {
+               par_begin = view->cursor().selectionBegin().bottom().pit();
+               par_end = view->cursor().selectionEnd().bottom().pit();
+       }
+       if (par_begin > par_end)
+               swap(par_begin, par_end);
+       odocstringstream ostr;
+       view->buffer().getSourceCode(ostr, par_begin, par_end + 1, fullSource);
+       docstring s = ostr.str();
+       static size_t crc = 0;
+       size_t newcrc = crcCheck(s);
+       if (newcrc == crc)
+               return false;
+       crc = newcrc;
+       qstr = toqstr(s);
+       return true;
+}
+
+
+void ViewSourceWidget::setBufferView(BufferView const * bv)
+{
+       bv_ = bv;
+       setEnabled(bv ?  true : false);
+}
+
+
 void ViewSourceWidget::updateView()
 {
-       if (autoUpdateCB->isChecked())
-               update(viewFullSourceCB->isChecked());
+       if (!bv_) {
+               document_->setPlainText(QString());
+               setEnabled(false);
+               return;
+       }
+       
+       setEnabled(true);
+
+       QString content;
+       if (getContent(bv_, viewFullSourceCB->isChecked(), content))
+               document_->setPlainText(content);
+
+       CursorSlice beg = bv_->cursor().selectionBegin().bottom();
+       CursorSlice end = bv_->cursor().selectionEnd().bottom();
+       int const begrow = bv_->buffer().texrow().
+               getRowFromIdPos(beg.paragraph().id(), beg.pos());
+       int endrow = bv_->buffer().texrow().
+               getRowFromIdPos(end.paragraph().id(), end.pos());
+       int const nextendrow = bv_->buffer().texrow().
+               getRowFromIdPos(end.paragraph().id(), end.pos() + 1);
+       if (endrow != nextendrow)
+               endrow = nextendrow - 1;
 
-       GuiViewSource::Row row = controller_.getRows();
        QTextCursor c = QTextCursor(viewSourceTV->document());
-       c.movePosition(QTextCursor::NextBlock, QTextCursor::MoveAnchor, row.begin);
+       c.movePosition(QTextCursor::NextBlock, QTextCursor::MoveAnchor, begrow);
        c.select(QTextCursor::BlockUnderCursor);
        c.movePosition(QTextCursor::NextBlock, QTextCursor::KeepAnchor,
-               row.end - row.begin + 1);
+               endrow - begrow + 1);
        viewSourceTV->setTextCursor(c);
 }
 
 
-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", qt_("LaTeX Source"), area, flags)
 {
-       widget_ = new ViewSourceWidget(*this);
+       widget_ = new ViewSourceWidget();
        setWidget(widget_);
 }
 
@@ -103,56 +172,26 @@ GuiViewSource::~GuiViewSource()
 
 void GuiViewSource::updateView()
 {
-       widget_->updateView();
-}
-
-
-bool GuiViewSource::initialiseParams(string const & /*source*/)
-{
-       setWindowTitle(title());
-       return true;
+       if (widget_->autoUpdateCB->isChecked()) {
+               widget_->setBufferView(bufferview());
+               widget_->updateView();
+       }
 }
 
 
-QString GuiViewSource::getContent(bool fullSource)
+void GuiViewSource::enableView(bool enable)
 {
-       // get the *top* level paragraphs that contain the cursor,
-       // or the selected text
-       pit_type par_begin;
-       pit_type par_end;
-
-       BufferView * view = bufferview();
-       if (!view->cursor().selection()) {
-               par_begin = view->cursor().bottom().pit();
-               par_end = par_begin;
-       } else {
-               par_begin = view->cursor().selectionBegin().bottom().pit();
-               par_end = view->cursor().selectionEnd().bottom().pit();
-       }
-       if (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());
+       widget_->setBufferView(bufferview());
+       if (!enable)
+               // In the opposite case, updateView() will be called anyway.
+               widget_->updateView();
 }
 
 
-GuiViewSource::Row GuiViewSource::getRows() const
+bool GuiViewSource::initialiseParams(string const & /*source*/)
 {
-       BufferView const * view = bufferview();
-       CursorSlice beg = view->cursor().selectionBegin().bottom();
-       CursorSlice end = view->cursor().selectionEnd().bottom();
-
-       int begrow = view->buffer().texrow().
-               getRowFromIdPos(beg.paragraph().id(), beg.pos());
-       int endrow = view->buffer().texrow().
-               getRowFromIdPos(end.paragraph().id(), end.pos());
-       int nextendrow = view->buffer().texrow().
-               getRowFromIdPos(end.paragraph().id(), end.pos() + 1);
-       Row row;
-       row.begin = begrow;
-       row.end = endrow == nextendrow ? endrow : (nextendrow - 1);
-       return row;
+       setWindowTitle(title());
+       return true;
 }
 
 
@@ -166,11 +205,36 @@ QString GuiViewSource::title() const
                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()
+{
+       DockView::restoreSession();
+       // FIXME: Full source updating is too slow to be done at startup.
+       //widget_->viewFullSourceCB->setChecked(
+       //      settings.value(sessionKey() + "/fullsource", false).toBool());
+       widget_->viewFullSourceCB->setChecked(false);
+       QSettings settings;
+       widget_->autoUpdateCB->setChecked(
+               settings.value(sessionKey() + "/autoupdate", true).toBool());
+       widget_->updateView();
+}
+
+
 Dialog * createGuiViewSource(GuiView & lv)
 {
        return new GuiViewSource(lv);
@@ -180,4 +244,4 @@ Dialog * createGuiViewSource(GuiView & lv)
 } // namespace frontend
 } // namespace lyx
 
-#include "GuiViewSource_moc.cpp"
+#include "moc_GuiViewSource.cpp"