Favorites for Mario Osorio

This plug-in helps you detect and fix quality and security issues as you write code in Java/JSP, C/C++, JS/TS/CSS, PHP, Python, and HTML/XML, as well as other languages.

This plugin is a bash script editor Features: Integrated bash debugger Run bash scripts from IDE by configurable parameters, environment variables etc. Adds a configurable "Open...

Eclipse plugin for editing Java resource bundles. Lets you manage all localized .properties files in one screen. Some features: sorted keys, warning icons on missing keys/values...

FileSync plugin for Eclipse is a file synchronisation tool. The main goal is to keep files outside of Eclipse projects in-sync with Eclipse project files. The plugin works as...