Size: 557
Comment:
|
Size: 1596
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 5: | Line 5: |
* 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 |
{{{#!highlight sh # 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 cd ~ bin/jedit & # Install plugin Console and Look and Feel }}} |
Line 9: | Line 17: |
== Zenburn theme == | == Zenburn theme == |
Line 12: | Line 20: |
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 == Font size, console and look and feel == * Plugins * Plugins manager * Install * Console * Look and Feel * Plugins * Plugins options * Look and feel * Zenburn * Utilities * Global options * Text area * Text font * Monospaced 24 plain * Plugins * Plugins options * Console * General * Liberation Mono 18 Plain * Caret color white * Utilities * Global options * jEdit * Gutter font * Monospaced 24 plain * Utilities * Buffer options * word wrap * soft |
jedit
jEdit is a mature programmer's text editor with hundreds (counting the time developing plugins) of person-years of development behind it.
Install
1 # http://downloads.sourceforge.net/project/jedit/jedit/5.1.0/jedit5.1.0install.jar
2 # java -jar Downloads/jedit5.1.0install.jar
3 # java -jar /home/vitor/jEdit/5.1.0/jedit.jar
4 cd ~/Downloads/
5 wget http://downloads.sourceforge.net/project/jedit/jedit/5.5.0/jedit5.5.0install.jar
6 java -jar jedit5.5.0install.jar
7 cd ~
8 bin/jedit &
9 # Install plugin Console and Look and Feel
10
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
Font size, console and look and feel
- Plugins
- Plugins manager
- Install
- Console
- Look and Feel
- Plugins
- Plugins options
- Look and feel
- Zenburn
- Utilities
- Global options
- Text area
- Text font
- Monospaced 24 plain
- Plugins
- Plugins options
- Console
- General
- Liberation Mono 18 Plain
- Caret color white
- Utilities
- Global options
- jEdit
- Gutter font
- Monospaced 24 plain
- Utilities
- Buffer options
- word wrap
- soft