Constant OPTION_XWINDOW_DISPLAY_MANAGER 

pub const OPTION_XWINDOW_DISPLAY_MANAGER: u32 = 49u32;