Constant TMT_MINDPI7 

pub const TMT_MINDPI7: THEME_PROPERTY_SYMBOL_ID;