Constant TMT_MENUBARHEIGHT

pub const TMT_MENUBARHEIGHT: THEME_PROPERTY_SYMBOL_ID;