Make rename dialog smaller, but the input wider
Description
Description
Details
Details
- Provenance
machniak Authored on Nov 13 2015, 2:24 PM mollekopf Pushed on Aug 22 2023, 5:55 AM - Parents
- R14:45430717d50e: Add "Rename" button, remove edit icon from the list
- Branches
- Unknown
- Tags