public void Flush() { if (screen_flush_context (handle, 0) != 0) { throw new Exception ("Unable to flush context"); } }