@17140@
@13830@
@13245@
@13635@
@13440@
@13245@

Modified by Robert H”hne to be used for RHIDE.

@13245@
@13245@
@14024@

@16433@

#include <class/textdev.h>

@15582@

@16431@

#include <class/terminal.h>

@15582@

#if defined( Uses_otstream )

#include <class/otstream.h>

@15582@


