Genio
Genio copied to clipboard
Feature/extensions/manager
This PR enables the ExtensionManager and the tools and context menus in Editors and the ProjectBrowser. Currently it implements only extensions type "Script"