#ifndef _output_h_INCLUDED
#define _output_h_INCLUDED



void SetOutputSink (Widget w);
void CancelOutputSink (Widget w);
void OutputToSink (Widget sink, char *text);
void ServerOutput (char *text);

#endif