Padre plugin that provides Eclipse-like useful features Ahmad M. Zawawi