PluginManager extends AbstractGuiElement
parent
53744a73
No related branches found
No related tags found
Showing
- frontend-js/src/main/css/global.css 6 additions, 0 deletionsfrontend-js/src/main/css/global.css
- frontend-js/src/main/js/minerva.js 1 addition, 1 deletionfrontend-js/src/main/js/minerva.js
- frontend-js/src/main/js/plugin/PluginManager.js 15 additions, 38 deletionsfrontend-js/src/main/js/plugin/PluginManager.js
- frontend-js/src/test/js/gui/OptionsMenu-test.js 6 additions, 1 deletionfrontend-js/src/test/js/gui/OptionsMenu-test.js
- frontend-js/src/test/js/plugin/PluginManager-test.js 1 addition, 1 deletionfrontend-js/src/test/js/plugin/PluginManager-test.js
Loading
Please register or sign in to comment