<div>Patch co-licensed as usual under LGPLv3+, GPLv3+ and MPL licenses.<br></div><div>Patch made for the VCL directory, I think that&#39;s the libs-gui repository.</div><div>Robert</div>