Constant TMT_SCROLLBARHEIGHT 

pub const TMT_SCROLLBARHEIGHT: THEME_PROPERTY_SYMBOL_ID;