KateExternalToolMenuAction: Use tools from plugin
Description
Description
Details
Details
- Committed
dhaumann Jan 21 2019, 9:23 PM - Differential Revision
- D17971: Revive External Tools plugin
- Parents
- R40:9cfe5793f084: Plugin: save Tool pointers, since these stable pointers will be reused by theā¦
- Branches
- Unknown
- Tags