Constant TMT_DEFAULTPANESIZE 

pub const TMT_DEFAULTPANESIZE: THEME_PROPERTY_SYMBOL_ID;