New short labels for toolbar buttons
Description
Description
Details
Details
- Provenance
thomascube Authored on Dec 30 2011, 2:17 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:84d9b158e61d: Use new short labels for toolbar button texts
- Branches
- Unknown
- Tags