Delete messy extView() helper function, not needed anymore
Description
Description
Details
Details
- Committed
dhaumann Jan 23 2019, 8:13 PM - Differential Revision
- D17971: Revive External Tools plugin
- Parents
- R40:1c770b3975e3: Use signal&slot to trigger reload of a menu
- Branches
- Unknown
- Tags