From: Slava P. <sl...@je...> - 2003-08-08 03:16:30
|
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. -- Slava Pestov |