• 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

   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.6.0/jedit5.6.0install.jar
   6 java -jar jedit5.6.0install.jar
   7 cd ~
   8 bin/jedit &
   9 # Install plugin Console and Look and Feel. Go to menu Plugins, Plugin manager, Install tab and select them
  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
• Global options
• jEdit
• editing
• word wrap
  • soft