JDeveloper extension manager
Brian duff advised me to turn of some of jdeveloper features in the extension manager, to save some memory. I didn’t really look into it, untill i saw the same advice again today . I was pleasantly surprised when i opened the extension manager. It is much more fine grained and complete than i had imagined. You can really turn off and on just about every feature in Jdeveloper. I disabled some features i’m currently not using, restarted jdeveloper, and i think jdeveloper is now using about 30mb less. You can save your extension manager settings btw, using different names, so you create setups for different purposes.
I wonder if all these features that you can enable and disable in the extension manager are plugins following the plugin standard as proposed by oracle?
October 2nd, 2003 at 11:09 am
Hi Andrej,
They are indeed all extensions (plugins), but following the current extension API of JDev rather than JSR-198 at the moment. The JSR is loosely based on our extension API though (well the spec lead is the original architect of JDeveloper’s extension API at any rate).
Brian