I was thinking of implementing the suggestion in

http://bugs.kde.org/show_bug.cgi?id=81670

Would there be any opposition to that?

Cheers,
Nick


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