[ jEdit-devel ] [Bug #123696] 2.7pre3 Batch search fails

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

Bug #123696, was updated on 2000-Nov-28 06:37
Here is a current snapshot of the bug.

Project: jEdit
Category: search and replace
Status: Open
Resolution: None
Bug Group: normal bug
Priority: 5
Summary: 2.7pre3  Batch search fails

Details: I take it that Batch search is the new name for Hypersearch (I like the name Hypersearch better.).

When I try to execute a Batch search in all buffers I sometimes see this:

[error] java.lang.ArrayIndexOutOfBoundsException: 0 >= 0
[error]         at java.util.Vector.elementAt(Vector.java:417)
[error]         at org.gjt.sp.jedit.search.BufferListSet.getFirstBuffer(BufferListSet.java:64)
[error]         at org.gjt.sp.jedit.search.BatchSearchRequest.run(BatchSearchRequest.java:56)
[error]         at org.gjt.sp.util.WorkThread.doRequest(WorkThread.java:193)
[error]         at org.gjt.sp.util.WorkThread.doRequests(WorkThread.java:160)
[error]         at org.gjt.sp.util.WorkThread.run(WorkThread.java:134)

I'm not sure how to reproduce this because it doesn't always go wrong...


For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=123696&group_id=588