#include <boost/crc.hpp>
+#include <QBoxLayout>
#include <QSettings>
#include <QTextCursor>
#include <QTextDocument>
}
+void ViewSourceWidget::resizeEvent (QResizeEvent * event)
+{
+ QSize const & formSize = formLayout->sizeHint();
+ // minimize the size of the part that contains the buttons
+ if (width() * formSize.height() < height() * formSize.width()) {
+ layout_->setDirection(QBoxLayout::TopToBottom);
+ } else {
+ layout_->setDirection(QBoxLayout::LeftToRight);
+ }
+ QWidget::resizeEvent(event);
+}
+
+
GuiViewSource::GuiViewSource(GuiView & parent,
Qt::DockWidgetArea area, Qt::WindowFlags flags)
: DockView(parent, "view-source", qt_("LaTeX Source"), area, flags)