Constant TMT_PROGRESSSPACESIZE 

pub const TMT_PROGRESSSPACESIZE: THEME_PROPERTY_SYMBOL_ID;