///////////////////////////////////////////////////////////////////////////////
// $Header: x:/prj/tech/libsrc/dispdev/RCS/wdspgshl.h 1.1 1997/09/10 14:00:44 TOML Exp $
//
// This file isolates the display device from dependence on gshelapi.h
//

#ifndef __WDSPGSHL_H
#define __WDSPGSHL_H

void WinDispPumpEvents();
void WinDispBringToFront();

#endif /* !__WDSPGSHL_H */
