>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:

John> (And yes, same applies to colours: ideally we would be using
John> native widgets.)
 
It would not be difficult to do, actually.

JMarc

Reply via email to