Reload UI after loading / unloading kate plugins.
Description
Description
Details
Details
- Committed
tfry Mar 28 2020, 10:28 AM - Parents
- R5:3ed6821983ad: Fix script editor popup menu by removing legacy code.
- Branches
- Unknown
- Tags
Reload UI after loading / unloading kate plugins.
Reload UI after loading / unloading kate plugins.
Authored by tfry on Mar 28 2020, 10:28 AM.
Tags
None
Subscribers
None