Constant PS_MAIN_PANEL_UNDOCKED 

pub const PS_MAIN_PANEL_UNDOCKED: u32 = 8192;