Notes about jEdit

From IdeaNet
Jump to navigationJump to search

Installation

see http://www.jedit.org/index.php?page=quickstart

in short:

/usr/bin/java -jar jedit4.4.2install.jar

Plugins installation

Plugins->Plugin Manager->Install

Interesting plugins

  • Editor Scheme
    • Interesting scheme: jBuilder Adapted
  • Python Shell
  • BufferTabs

Configuration

text font

Utilities->Global Options

jEdit->Text Area
Text font
editing mode for Python

Utilities->Global Options

jEdit->Editing
Change settings for mode: python
unmark "Use default settings"
Tab width: 4
Indent width: 4
mark "Soft (emulated with spaces) tabs"
BufferTabs
  • how to hide buffer switcher?
Utilities->Global options
jEdit->View
unmark "Show buffer switcher"
  • how to enable buffer tabs?
Plugins->mark "Buffer Tabs"