Constant TMT_MENUBARHEIGHT 

pub const TMT_MENUBARHEIGHT: THEME_PROPERTY_SYMBOL_ID;