///dialog_->viewSourceTV->setAcceptRichText(false);
// this is personal. I think source code should be in fixed-size font
QFont font(guiApp->typewriterFontName());
- font.setKerning(false);
font.setFixedPitch(true);
font.setStyleHint(QFont::TypeWriter);
viewSourceTV->setFont(font);
\return true if the content has changed since last call.
*/
static bool getContent(BufferView const * view, Buffer::OutputWhat output,
- QString & qstr, string const format, bool force_getcontent,
+ QString & qstr, string const & format, bool force_getcontent,
bool master)
{
// get the *top* level paragraphs that contain the cursor,
view->buffer().getSourceCode(ostr, format, par_begin, par_end + 1,
output, master);
docstring s = ostr.str();
+ // FIXME THREAD
+ // Could this be private to this particular dialog? We could have
+ // more than one of these, in different windows.
static size_t crc = 0;
size_t newcrc = crcCheck(s);
if (newcrc == crc && !force_getcontent)
}
-void ViewSourceWidget::dockLocationChanged(Qt::DockWidgetArea area)
+void ViewSourceWidget::resizeEvent (QResizeEvent * event)
{
- if (area == Qt::RightDockWidgetArea || area == Qt::LeftDockWidgetArea) {
+ 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);
}
{
widget_ = new ViewSourceWidget;
setWidget(widget_);
- connect(this, SIGNAL(dockLocationChanged(Qt::DockWidgetArea)),
- widget_, SLOT(dockLocationChanged(Qt::DockWidgetArea)));
}