|
Size: 557
Comment:
|
Size: 838
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 9: | Line 9: |
| == Zenburn theme == | == Zenburn theme == |
| Line 12: | Line 12: |
| Select Plugin manager, Manage, Look and feel, Plugin options, Look and feel, Lipstik, Theme style, Zenburn theme. | * 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 |
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
- 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