Jürgen Spitzmüller wrote:
Jürgen Spitzmüller wrote:+ // this is currently disabled because it eats too much resources + // while selecting (cf. bug 3877)(and I think I'd use #if 0; but that's just nitpicking).I did this to clarify the issue a bit.
Thanks. Abdel.
