InsetTabular.cpp: fix #6585 also for wrapped floats - thanks Vincent

[lyx.git] / src / support / os.h

diff --git a/src/support/os.h b/src/support/os.h
index 36209a264710780d8973d7abab22399d378afce2..38517d8bda33d830afe94b20f67c08820dfb5ca4 100644 (file)
--- a/src/support/os.h
+++ b/src/support/os.h
@@ -27,12 +27,6 @@ enum shell_type {
        CMD_EXE
 };
 
-enum io_channel {
-       STDIN = 0,
-       STDOUT,
-       STDERR
-};
-
 enum path_case {
        CASE_UNCHANGED,
        CASE_ADJUSTED
@@ -55,9 +49,6 @@ void remove_internal_args(int i, int num);
 /// Returns the name of the NULL device (/dev/null, null).
 std::string const & nulldev();
 
-/// Tells whether \p channel is connected to a terminal or not. 
-bool is_terminal(io_channel channel);
-
 /// Returns "/" on *nix, "C:/", etc on Windows.
 std::string current_root();