• jedit

jedit

jEdit is a mature programmer's text editor with hundreds (counting the time developing plugins) of person-years of development behind it.

Install

• http://downloads.sourceforge.net/project/jedit/jedit/5.1.0/jedit5.1.0install.jar

• java -jar Downloads/jedit5.1.0install.jar
• java -jar /home/vitor/jEdit/5.1.0/jedit.jar
• cd Downloads/

• wget http://downloads.sourceforge.net/project/jedit/jedit/5.5.0/jedit5.5.0install.jar

• java -jar jedit5.5.0install.jar

• bin/jedit &

Zenburn theme

Plugin manager, Editor scheme and Look and feel 1.7.0.

• Select Plugin manager
• Manage
• Look and feel
• Plugin options
• Look and feel: Lipstik
• Theme style: Zenburn theme
• Choose editor scheme, select zenburn, apply

• wget http://kent.dl.sourceforge.net/project/lipstiklf/lipstiklf/1.1/lipstikLF-1.1.jar

• cp lipstikLF-1.1.jar ~/jEdit/5.1.0/jars/
• cd ~/jEdit/5.1.0
• java -cp jedit.jar:jars/* org.gjt.sp.jedit.jEdit