Constant TMT_SOURCESHRINK 

pub const TMT_SOURCESHRINK: THEME_PROPERTY_SYMBOL_ID;