Re: [ jEdit-users ] incremental search null pointer exception

[Harpreet S. <har...@fa...>]

Slava Pestov wrote:
> Harpreet Singh,
> 
> I think I fixed this bug in the latest 4.2pre5 snapshot
> (www.jedit.org/jedit.jar). Can you verify?
> 
> It took me a while to reproduce it since it only happends with electric
> scrolling switched off.

Thats seems to do it thank you very much, I use jedit all day and it was 
becoming annoying.

Were the two bugs related, the null pointer exception in incremental search and 
scrolling? I tried to reproduce the incremental search bug but i can't!!

Thanks again, you guys are great.

-- 
Harpreet Singh
har...@fa...