GitHub repository: mhmdsamir92/jEdit
Description: A mature programmer's text editor