select bug with internal editor of kdevelop 2.1

[Christian C. Berclaz]

I've just found a small bug in the selection of text in the editor of 
kdevelop:

If I start to select a part of the text, let's say from the middle of the 
document, to the end of it using shift-ctrl-end and then I go back one line
the selection will be wrong if the text has to be scrolled down at the same 
time.

Problem: that bug does not appear all the time and I cannot tell why.

I'm using kdevelop 2.1 from cvs (yersterday) with kde 2.2.2

I hope this helps
Chris

-- 
Christian C. Berclaz
http://rivendell.sourceforge.net

-
to unsubscribe from this list send an email to kdevelop-request at kdevelop.org with the following body:
unsubscribe »your-email-address«