#include <QtGui/qworkspace.h>
#ifndef QWORKSPACE_H
#ifndef QT_NO_WORKSPACE
class QWorkspace: public QWidget{
   /* Some contents are skipped to improve readability */
   protected: virtual void hideEvent(struct QHideEvent* e);
   /* ... */
};
#endif // QT_NO_WORKSPACE
#endif // QWORKSPACE_H