[ jEdit-devel ] [ jedit-Patches-1574114 ] SideKick: Optional scrolling to make selection visible

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

Patches item #1574114, was opened at 2006-10-10 00:55
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1574114&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
Submitted By: Shlomy Reinstein (shlomy)
Assigned to: Nobody/Anonymous (nobody)
Summary: SideKick: Optional scrolling to make selection visible

Initial Comment:
Currently, the SideKick plugin scrolls the tree to 
make as much as possible of the tree selection 
visible on screen. This can sometimes be annoying, as 
the higher tree levels go off-screen due to this 
scrolling. This patch makes the scrolling optional.


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

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