[ jEdit-devel ] [ jedit-Plugin Central Submission-1382846 ] KeyMap plugin initial release

[SourceForge.net <no...@so...>]

Plugin Central Submission item #1382846, was opened at 2005-12-16 22:24
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1382846&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Priority: 5
Submitted By: Rudolf Widmann (ruwi)
Assigned to: Nobody/Anonymous (nobody)
Summary: KeyMap plugin initial release

Initial Comment:
Name:	KeyMap
Version 0.1. Requires JDK 1.4, jEdit 4.2
no plugin dependency

initial release

Short description
=================
The KeyMap plugin provides multiple keyboard mappings
which are stored in xml.
Further it allows easy sorting and printing.

Description
===========
The KeyMap plugin helps the user to adminstrate the
keyboard mapping. It provides following functionalities:
*  Create several keymaps (=sets of keyboard shortcut
mapping)
*  Save the keymaps in xml-files. The xml format is
portable between several jEdit installations
*  Display the current keymap in a dockable window
*  Sort the keymaps for arbitary criterias
*  Display, shift or hide any column of the keymap table
*  Print the keymap in csv or html format


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1382846&group_id=588