>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> There is indeed no reason (in theory) for us to use repaint(). Andre> update() just does the right thing, possibly combining repeated Andre> request to a single one. Andre> In practivce, there might have been a reason at some point of Andre> time where repaint() worked (better), although I doubt that Andre> reason is still valid. What happened to this patch? Did we decide something about it? Does it help in some cases? JMarc
