1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14

// ======================

// === ContextDisplay ===

// ======================


/// Kinds of `Context`'s displays.

pub enum ContextDisplay {
    /// No display.

    None,
    /// The whole screen.

    Screen,
    /// A window with name and dimensions.

    Window(String, usize, usize)
}