blob: 68d7d2f07018cf0040f8481a95779d5639bb3dd1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
* Introduction
This directory contains description files (.xml) for executing Scala commands
from the Console plugin for jEdit.
More information about jEdit is available from:
http://www.jedit.org/
* Requirements
You first need to install the Console plugin for jEdit by following the
navigation path:
menu "Plugins" -> menu item "Plugin Manager..." -> tab "Install").
More information about the Console plugin is available from:
http://plugins.jedit.org/plugins/?Console
* Installation
Copy the directory "console" to the following location:
~/.jedit/
From that point on, entries for the Scala commands should be accessible from the
submenu "Console" in the "Plugins" menu.
* Version
$Id$
|
