db-derby-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Apache Wiki <wikidi...@apache.org>
Subject [Db-derby Wiki] Update of "CommandHistoryInIj" by JohnHEmbretsen
Date Wed, 23 Apr 2008 15:12:45 GMT
Dear Wiki user,

You have subscribed to a wiki page or wiki category on "Db-derby Wiki" for change notification.

The following page has been changed by JohnHEmbretsen:
http://wiki.apache.org/db-derby/CommandHistoryInIj

------------------------------------------------------------------------------
  
  == Using jEdit ==
  
- Newer versions of [http://www.jedit.org/ jEdit] support the [http://plugins.jedit.org/plugins/?Console
Console plugin], which allows you to run shell command in jEdit's environment. This plugin
provides a command history and other features when running IJ from the console.
+ Relatively new versions of [http://www.jedit.org/ jEdit] support the [http://plugins.jedit.org/plugins/?Console
Console plugin], which allows you to run shell command in jEdit's environment. This plugin
provides a command history and other features when running IJ from the console.
  
-   1. Download and install a recent version of [http://www.jedit.org/ jEdit].
+   1. Download, install and start a recent version of [http://www.jedit.org/ jEdit].
-   1. On the menu, go to '''Plugins''' --> '''Plugin Manager'''.
+   1. On the jEdit menu, go to '''Plugins''' --> '''Plugin Manager'''.
    1. Select the '''Install''' tab.
    1. Select the '''Console''' plugin and ''Install''
    1. Restart jEdit if necessary

Mime
View raw message