diff options
Diffstat (limited to 'src/libterm/lib.rs')
| -rw-r--r-- | src/libterm/lib.rs | 43 |
1 files changed, 23 insertions, 20 deletions
diff --git a/src/libterm/lib.rs b/src/libterm/lib.rs index 756d67b5db1..1dad5d09092 100644 --- a/src/libterm/lib.rs +++ b/src/libterm/lib.rs @@ -38,6 +38,8 @@ //! [win]: http://msdn.microsoft.com/en-us/library/windows/desktop/ms682010%28v=vs.85%29.aspx //! [ti]: https://en.wikipedia.org/wiki/Terminfo +// Do not remove on snapshot creation. Needed for bootstrap. (Issue #22364) +#![cfg_attr(stage0, feature(custom_attribute))] #![crate_name = "term"] #![unstable(feature = "rustc_private", reason = "use the crates.io `term` library instead")] @@ -53,13 +55,14 @@ #![feature(box_syntax)] #![feature(collections)] #![feature(int_uint)] +#![feature(io)] #![feature(old_io)] -#![feature(old_path)] +#![feature(path)] #![feature(rustc_private)] #![feature(staged_api)] -#![feature(unicode)] #![feature(std_misc)] -#![feature(os)] +#![feature(unicode)] +#![feature(path_ext)] #![cfg_attr(windows, feature(libc))] #[macro_use] extern crate log; @@ -153,23 +156,23 @@ pub mod color { /// Number for a terminal color pub type Color = u16; - pub const BLACK: Color = 0u16; - pub const RED: Color = 1u16; - pub const GREEN: Color = 2u16; - pub const YELLOW: Color = 3u16; - pub const BLUE: Color = 4u16; - pub const MAGENTA: Color = 5u16; - pub const CYAN: Color = 6u16; - pub const WHITE: Color = 7u16; - - pub const BRIGHT_BLACK: Color = 8u16; - pub const BRIGHT_RED: Color = 9u16; - pub const BRIGHT_GREEN: Color = 10u16; - pub const BRIGHT_YELLOW: Color = 11u16; - pub const BRIGHT_BLUE: Color = 12u16; - pub const BRIGHT_MAGENTA: Color = 13u16; - pub const BRIGHT_CYAN: Color = 14u16; - pub const BRIGHT_WHITE: Color = 15u16; + pub const BLACK: Color = 0; + pub const RED: Color = 1; + pub const GREEN: Color = 2; + pub const YELLOW: Color = 3; + pub const BLUE: Color = 4; + pub const MAGENTA: Color = 5; + pub const CYAN: Color = 6; + pub const WHITE: Color = 7; + + pub const BRIGHT_BLACK: Color = 8; + pub const BRIGHT_RED: Color = 9; + pub const BRIGHT_GREEN: Color = 10; + pub const BRIGHT_YELLOW: Color = 11; + pub const BRIGHT_BLUE: Color = 12; + pub const BRIGHT_MAGENTA: Color = 13; + pub const BRIGHT_CYAN: Color = 14; + pub const BRIGHT_WHITE: Color = 15; } /// Terminal attributes |