/* ----------------------------------------------------------------------------- * * (c) The GHC Team, 1998-2009 * * TTY-related functionality * * ---------------------------------------------------------------------------*/ #pragma once RTS_PRIVATE void resetTerminalSettings (void);