// functions abstracting differences between GUI and console modes
// ------------------------------------------------------------------------
// functions abstracting differences between GUI and console modes
// ------------------------------------------------------------------------