--- desktopwidget.cpp.orig 1998-12-09 10:15:52.000000000 -0800 +++ desktopwidget.cpp 2011-01-18 22:40:26.000000000 -0800 @@ -18,10 +18,14 @@ */ #include +#include #include "desktopwidget.h" +//Added by qt3to4: +#include +#include DesktopWidget::DesktopWidget(QWidget *parent, const char *name) - : QWidget( parent, name, WType_Desktop | WPaintDesktop) + : QWidget( parent, name, Qt::WType_Desktop | Qt::WPaintDesktop) { haveImage = FALSE; currentImage = new QPixmap(width(), height()); @@ -43,6 +47,7 @@ { QPainter p(this); + printf("DesktopWidget::paintEvent\n"); if(!haveImage) { p.setFont(QFont("helvetica", 35)); @@ -62,7 +67,8 @@ void DesktopWidget::updateDisplay(QImage *image) { - ASSERT(image != NULL); + fprintf(stderr, "updateDisplay called\n"); + Q_ASSERT(image != NULL); currentImage->convertFromImage(*image); haveImage = TRUE; setBackgroundPixmap(*currentImage);