fixed an issue where a button would get too small
Description
Description
Details
Details
- Provenance
• kirchnth Authored on Aug 8 2017, 4:21 PM • kirchnth Pushed on Aug 8 2017, 4:21 PM - Parents
- rMITKa7d8741c40f9: made the text and tooltip of Chart look nicer
- Branches
- Unknown
- Tags