Skip to content

nilqed/jeditIDE

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

jEdit IDE HowTo

jEdit Homepage

http://www.jedit.org/

Wikipedia

https://en.wikipedia.org/wiki/JEdit

jEdit is a mature programmer's text editor with hundreds (counting the time developing plugins) of person-years of development behind it.

In less than no time it can be configured into an IDE for almost any language. For this HowTo we will use the computer algebra system FriCAS. Hence we assume you have fricas installed and you are using some Lin(ux) or Windows 10/WSL. The editor jEdit can be installed by apt/deb (used below) or by a method described on the jEdit Homepage.

jeditIDE

Install jEdit

$ sudo apt install jedit 

$ apt list jedit 
Listing... Done
jedit/bionic,bionic,now 5.5.0+dfsg-1 all [installed]

$ jedit -version
jEdit 5.5.0
$ jedit -usage
Start

jEdit

$ jedit &

jedit1

Install Plugins

Mark

[x] the plugins in the Plugin Manager.

jedit2

Mandatory

  • Console
  • ContextMenu
  • ProjectViewer
  • Templates
  • TextFilter
  • GnuRegexp

jedit3

Recommended/Optional

  • BufferList
  • CharacterMap
  • Code2HTML
  • ImageViewer
  • InfoViewer
  • JDiffPlugin
  • MarkdownPlugin
  • SpellCheck

jedit4

Check the appearance

Now you should see some new (docked) windows, BufferList for instance.

jedit5

Click

on BufferList in the right docking area.

It will expand.

jedit6

Same for the Console.

jedit7

Enter

some commands, and check if ~/.jedit is available.

Warning

This is crucial for the further installation.

jedit8

Install an Edit Mode

Copy the mode/spad.xml file to ~/.jedit/modes/ (see below) and add :

<MODE NAME="spad" FILE="spad.xml" FILE_NAME_GLOB="*.{spad,input}" />

to the file ~/.jedit/modes/catalog. The code below will just perform these steps.

$ cp -v spad.xml ~/.jedit/modes/

$ export jcat_tmp=~/.jedit/modes/catalog
$ cat $jcat_tmp add_spad_to_catalog.txt > $jcat_tmp
NOTE

Now retart jEdit, i.e. close and reopen (jedit &).

Open a new file

Menu

File -> New In Mode

Find spad (hopefully).

jedit9

Syntax highlighting: Enter some keywords.

The color scheme can be adjusted of course.

jedit10

jedit11

Configure the Console

Plugin -> Console -> compile & run

jedit12

Configure the Context Menu

As above, configure the context menu.

jedit13

Press the [+] button.

jedit14

Look for Run current buffer ...

jedit15

Repeat the above steps in order to add Compile current buffer ...

jedit16

Now the menu item spad (or whatever label you have given) should appear.

jedit17

Installing the Templates

First, copy the templates to the ~/.jedit/templates folder :

$ cp -v templates/spad_* ~/.jedit/templates/
'templates/spad_category.vm' -> '/home/kfp/.jedit/templates/spad_category.vm'
'templates/spad_domain.vm' -> '/home/kfp/.jedit/templates/spad_domain.vm'
'templates/spad_package.vm' -> '/home/kfp/.jedit/templates/spad_package.vm'
'templates/spad_unittest.vm' -> '/home/kfp/.jedit/templates/spad_unittest.vm'

Plugins -> Templates -> Template Tree

jedit18

Dock the floating template tree window to the left docking area.

jedit19

Choose refresh templates, and you will see the installed templates.

jedit20

jedit21

Install the Macros

In this example only one macro will be installed (lookup FriCAS API). :

$ mkdir ~/.jedit/macros/FriCAS
$ cp -v  macros/fricas_api.bsh ~/.jedit/macros/FriCAS 
'macros/fricas_api.bsh' -> '/home/kfp/.jedit/macros/FriCAS/fricas_api.bsh'

Choose ``Macros -> Rescan Macros`` and you should find the folder ``FriCAS`` containing the macro files (bean shell, .bsh)
``fricas_api``:

jedit22

Add it to the contex menu spad ([+] button)

jedit23

Add a separator for convenience,

jedit24

find the Macros menu entry,

jedit25

and look for fricas_api.

jedit26

Now press OK.

jedit27

We want to use it. Mouse-Select a FriCAS Type (e.g. Integer), and :

Menu: spad -> fricas_api 

jedit28

should display (in Firefox, otherwise edit the script) the corresponding FriCAS API webpage.

jedit29

Finally, customize jEdit to your needs, e.g. by arranging the dockable windows and so on.

jedit30

About

jedit IDE howto (example for FriCAS)

Topics

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages