As a solution I would propose to simply patch gtk2_interface to return
separator-height / 2 to the java side if wide-separators is 1. The
actual drawing result will still be far away from what it should be: the
whole spacing is messed up as you can see on the screenshot. However the
affected java programs would at least have *some* seperators.

I will try to get a patch ready, but the jdk build process is still a
complete mystery to me and takes forever and I want just libmawt.so
rebuilt.

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to