Constant TMT_SMCAPTIONBARHEIGHT 

pub const TMT_SMCAPTIONBARHEIGHT: THEME_PROPERTY_SYMBOL_ID;