Differences between revisions 8 and 14 (spanning 6 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 8 as of 2022-12-16 18:43:15 → 
  Size: 1569
  Editor: localhost
  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 10:
-wget http://downloads.sourceforge.net/project/jedit/jedit/5.5.0/jedit5.5.0install.jar
java -jar jedit5.5.0install.jar
+wget http://downloads.sourceforge.net/project/jedit/jedit/5.6.0/jedit5.6.0install.jar
java -jar jedit5.6.0install.jar
 Line 14:
-# Install plugin Console and Look and Feel
+# Install plugin Console and Look and Feel. Go to menu Plugins, Plugin manager, Install tab and select them
 Line 27:
+{{{#!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 28:
+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/
 * cd ~/jEdit/5.1.0
 * 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
-Line 33:
+Line 40:
-== Font size ==
+== Font size, console and look and feel ==
-Line 35:
+Line 42:
- * Plugins manager
 * Install
  * Console
  * Look and Feel
+  * Plugins manager
  * Install
   * Console
   * Look and Feel
-Line 41:
+Line 48:
- * Plugins options
 * Look and feel 
  * Zenburn
+  * Plugins options
  * Look and feel 
   * Zenburn
-Line 46:
+Line 53:
- * Global options
 * Text area
 * Text font
  * Monospaced 24 plain
+  * Global options
  * Text area
  * Text font
   * Monospaced 24 plain
-Line 52:
+Line 59:
- * Plugins options
 * Console
 * General
  * Liberation Mono 18 Plain
  * Caret color white
+  * Plugins options
  * Console
  * General
   * Liberation Mono 18 Plain
   * Caret color white
-Line 59:
+Line 66:
- * Global options
 * jEdit
 * Gutter font
  * Monospaced 24 plain
+  * Global options
  * jEdit
  * Gutter font
   * Monospaced 24 plain
-Line 65:
+Line 72:
- * Buffer options
 * word wrap
  * soft
+  * Global options
  * jEdit 
  * editing
  * word wrap
   * soft