[ jedit-Plugin Bugs-1558568 ] ConfigurableFoldHandler - Buffer should be JEditBuffers

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[ jedit-Plugin Bugs-1558568 ] ConfigurableFoldHandler - Buffer should be JEditBuffers

SourceForge.net
Plugin Bugs item #1558568, was opened at 2006-09-14 05:24
Message generated for change (Comment added) made by devrellim
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1558568&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: kasimir-k (kasimir-k)
Assigned to: Nobody/Anonymous (nobody)
Summary: ConfigurableFoldHandler - Buffer should be JEditBuffers

Initial Comment:
>From http://jedit.org/CHANGES43.txt  4.3pre3 API Changes:

"Now that the text area is independent of the rest of
jEdit, various text area-related APIs that used to take
org.gjt.sp.jedit.Buffer
instances now take
org.gjt.sp.jedit.buffer.JEditBuffers"

ConfigurableFoldHandler uses Buffer, thus it won't work
with 4.3pre3 and above.


I belive this would be fairly simple thing to fix, but
unfortunately still beyond my Java skills, which there
aren't any.

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

Comment By: Chris Miller (devrellim)
Date: 2006-11-28 09:57

Message:
Logged In: YES
user_id=1655985
Originator: NO

I've submitted a patch that I believe fixes the problem.  Anyone
interested in testing the new code can download it from
<http://www.cpmiller.com/ConfigurableFoldHandler.jar>;  Use this jar at
your own risk; it's only been minimally tested as yet.

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

Comment By: Todd Prouty (toddprouty)
Date: 2006-11-20 09:56

Message:
Logged In: YES
user_id=1646414
Originator: NO

I'm in the same boat. It's a very useful plug-in, but beyond my Java
skills to fix at this point. Not only does it not work, but having this
plug-ininstalled makes jEdit completely unusable, as described in
kasimir's original submission:

http://tinyurl.com/yaksmn
(https://sourceforge.net/tracker/index.php?func=detail&aid=1431462&group_id=588&atid=565475)

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

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

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel