Differences between revisions 3 and 14 (spanning 11 versions)

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

   1 wget http://kent.dl.sourceforge.net/project/lipstiklf/lipstiklf/1.1/lipstikLF-1.1.jar
   2 cp lipstikLF-1.1.jar ~/jEdit/5.1.0/jars/
   3 cd ~/jEdit/5.1.0
   4 java -cp jedit.jar:jars/*  org.gjt.sp.jedit.jEdit

Copy paste middle mouse button

Utilities
- Global options
  - Mouse
    - Quick copy using middle mouse button

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

-  ⇤ ← Revision 3 as of 2014-08-15 20:37:55 → 
  Size: 693
  Editor: 247
  Comment:
+   ← Revision 14 as of 2024-07-21 14:36:10 → ⇥
  Size: 1849
  Editor: vitor
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 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.6.0/jedit5.6.0install.jar
java -jar jedit5.6.0install.jar
cd ~
bin/jedit &
# Install plugin Console and Look and Feel. Go to menu Plugins, Plugin manager, Install tab and select them
}}}
-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
{{{#!highlight sh
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
}}}
-Line 14:
+Line 34:
- * 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/
+== Copy paste middle mouse button ==
 * Utilities
  * Global options
   * Mouse
     *Quick copy using middle mouse button

== 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