jEdit / Patches / #528 Public interface to support docking framework implementations

#528 Public interface to support docking framework implementations

Milestone: None

Status: closed-accepted

Owner: Alan Ezust

Labels: None

Priority: 5

Updated: 2014-08-22

Created: 2014-05-28

Creator: Makarius

Private: No

The following trivial patch helps plugins to implement a docking framework derived from the "Original" one, notably to override DockableWindowManagerImpl.createPopupMenu

Most of these classes are public, but the interface was somehow forgotten.

1 Attachments

dockable.patch

Discussion

Alan Ezust - 2014-08-22

status: open --> closed-accepted

assigned_to: Alan Ezust

Group: -->
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2014-08-22

Committed 23664

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Public interface to support docking framework implementations

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#528 Public interface to support docking framework implementations

Discussion