Launcher extension
New launching options in the toolbar for preferred and correspondent test configuration.
New launching options in the toolbar for preferred and correspondent test configuration.
Kopitiam is an Eclipse plugin for certifying full functional correctness of Java programs using a higher-order separation logic. Kopitiam extends the Java IDE with an interactive...
Provides a new entry to Preferences --> General --> Keys (IntelliJ IDEA) The supported shortcuts can be seen here https://github.com/IntelliJIdeaKeymap4Eclipse...
MultiProperties Editor is an Eclipse plugin for editing multiple key-value based files with similar content. This kind of file format can be Properties for example in Java...
Install Eclipse plugins from command line like `nodeclipse install egit` or `nodeclipse update jshint` from eclipse path. Goes well with TCF Local Terminal . See screenshot...
Never write glue code for @NamedQueries or @NamedNativeQueries yourself again. The anqu method plug-in generates Java code to access @NamedQueries providing a compiler checked...
Zip, Unzip, verify, manage, view, and edit EULUMDAT and IES files EULUMDAT is the European standard for photometric data used by all major lighting design programs IES is the IESNA...