diff options
Diffstat (limited to 'otherlibs/unix/unix.mli')
| -rw-r--r-- | otherlibs/unix/unix.mli | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 007809f33..1801234ac 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -758,19 +758,6 @@ type terminal_io = { mutable c_ixoff: bool; (* Emit XON/XOFF chars to control input flow. *) (* Output modes: *) mutable c_opost: bool; (* Enable output processing. *) - mutable c_olcuc: bool; (* Map lowercase to uppercase on output. *) - mutable c_onlcr: bool; (* Map NL to CR/NL on output. *) - mutable c_ocrnl: bool; (* Map CR to NL on output. *) - mutable c_onocr: bool; (* No CR output at column 0. *) - mutable c_onlret: bool; (* NL is assumed to perform as CR. *) - mutable c_ofill: bool; (* Use fill characters instead of delays. *) - mutable c_ofdel: bool; (* Fill character is DEL instead of NULL. *) - mutable c_nldly: int; (* Newline delay type (0-1). *) - mutable c_crdly: int; (* Carriage return delay type (0-3). *) - mutable c_tabdly: int; (* Horizontal tab delay type (0-3). *) - mutable c_bsdly: int; (* Backspace delay type (0-1). *) - mutable c_vtdly: int; (* Vertical tab delay type (0-1). *) - mutable c_ffdly: int; (* Form feed delay type (0-1). *) (* Control modes: *) mutable c_obaud: int; (* Output baud rate (0 means close connection).*) mutable c_ibaud: int; (* Input baud rate. *) |