Menu
▾
▴
[ jEdit-devel ] [ jedit-Patches-1782091 ] An interface for dockable windows
|
From: SourceForge.net <no...@so...> - 2007-08-26 19:30:08
|
Patches item #1782091, was opened at 2007-08-26 22:29 Message generated for change (Comment added) made by shlomy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1782091&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 Resolution: None Priority: 5 Private: No Submitted By: Shlomy Reinstein (shlomy) Assigned to: Nobody/Anonymous (nobody) Summary: An interface for dockable windows Initial Comment: The attached patch (jedit.patch) declares a minimalistic (at this stage) interface for dockable windows, that notifies them when the docking area is changed, so they can adjust (e.g. change the layout). In addition, this patch makes jEdit use the same instance of the dockable when the docking area is changed, instead of invoking the BeanShell code for creating the dockable each time. This new behavior is much more sensible, since it is now easy for dockables to maintain their state when they are moved between the docking areas, whereas the current behavior requires the dockable to maintain a view->instance mapping. Also, this patch includes a workaround for a component reparenting problem in Swing: If the dockable instance is moved from its docking area to a floating container (using "Float"), the instance is sometimes blank. The workaround is to create a new JPanel around it each time. For some reason, this also not always works. For backward compatibility, dockables are required to implement the new interface DockableWindow in order to use the new behavior. Dockables that do not implement DockableWindow do not use the new behavior, and instead a new instance is created each time the docking is changed. A corresponding patch is also attached for the GlobalPlugin (global.patch), that uses this jEdit patch, so you can see the differences in code and behavior. ---------------------------------------------------------------------- >Comment By: Shlomy Reinstein (shlomy) Date: 2007-08-26 22:29 Message: Logged In: YES user_id=1477607 Originator: YES File Added: global.patch ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1782091&group_id=588 |