#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)
{
- widget_ = new ViewSourceWidget();
+ widget_ = new ViewSourceWidget;
setWidget(widget_);
}
case LITERATE:
return qt_("Literate Source");
}
- LASSERT(false, /**/);
+ LATTEST(false);
return QString();
}