[ jEdit-devel ] [ jedit-Plugin Bugs-2830924 ] DockingFrames + Toggle Error List

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

Plugin Bugs item #2830924, was opened at 2009-08-01 14:22
Message generated for change (Comment added) made by jarekczek
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2830924&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: Closed
>Resolution: Later
Priority: 5
Private: No
Submitted By: Alan Ezust (ezust)
Assigned to: Shlomy Reinstein (shlomy)
Summary: DockingFrames + Toggle Error List

Initial Comment:
Try mapping ErrorList (toggle) to a shortcut and use it while using Docking Frames. It does not work.


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

Comment By: Jarek Czekalski (jarekczek)
Date: 2012-04-19 02:24

Message:
This plugin is no longer supported. The bug may be taken by a volunteer
willing to resurrect it.

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

Comment By: Shlomy Reinstein (shlomy)
Date: 2011-11-27 13:27

Message:
The plugin for DockingFrames was an effort I started and neglected a long
time ago. Unlike MyDoggy, DockingFrames does not seem to be easily
integrated with the jEdit APIs for the docking framework. I neglected it
after finding some inherent problems in this integration, and do not intend
to continue.

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

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