⇤ ← Revision 1 as of 2013-11-22 15:14:28
Size: 557
Comment:
|
Size: 556
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 9: | Line 9: |
== Zenburn theme == | == Zenburn theme == |
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
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.