[ jEdit-devel ] [ jedit-Plugin Bugs-1034072 ] Template Folders don't display in Global Options->Shortcuts.

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

Plugin Bugs item #1034072, was opened at 2004-09-24 10:25
Message generated for change (Comment added) made by sjakob
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1034072&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: Deleted
>Resolution: Duplicate
Priority: 5
Submitted By: Steve Jakob (sjakob)
Assigned to: Steve Jakob (sjakob)
Summary: Template Folders don't display in Global Options->Shortcuts.

Initial Comment:
In Global Options->Shortcuts, template folders show up
in the pick list at the top of the dialog as "<no label
set; plugin bug>".

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

>Comment By: Steve Jakob (sjakob)
Date: 2006-10-12 11:48

Message:
Logged In: YES 
user_id=17432

Superseded by plugin bug #1441138:

https://sourceforge.net/tracker/index.php?func=detail&aid=1441138&group_id=588&atid=565475

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

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