##// END OF EJS Templates
BarSet label brush is no longer reset to theme default brush if it was preset earlier
BarSet label brush is no longer reset to theme default brush if it was preset earlier
Marek Rosa -
r1760:10a2cce6b5a9
Show More