Patch: Peer colour and font fixes

Tom Tromey
Wed Oct 8 20:18:00 GMT 2003

>>>>> "Tom" == Thomas Fitzsimmons <> writes:

Tom> This patch fixes some colour and font problems in the GTK peers, as well
Tom> as a small FlowLayout problem.

Tom> OK to commit?

Ok, thanks.

BTW, usually the FlowLayout fix should be submitted separately, as it
is an independent fix.


More information about the Java-patches mailing list