Config widget: edit on double click
Description
Description
Details
Details
- Committed
dhaumann Jan 31 2019, 10:48 AM - Differential Revision
- D17971: Revive External Tools plugin
- Parents
- R40:1ab932ef8470: Config Widget: Expand all, show category Uncategorized always first
- Branches
- Unknown
- Tags