Constant TMT_MENUBARWIDTH 

pub const TMT_MENUBARWIDTH: THEME_PROPERTY_SYMBOL_ID;