Constant TMT_CAPTIONBARHEIGHT 

pub const TMT_CAPTIONBARHEIGHT: THEME_PROPERTY_SYMBOL_ID;