Patch: Peer colour and font fixes

Tom Tromey tromey@redhat.com
Wed Oct 8 20:18:00 GMT 2003


>>>>> "Tom" == Thomas Fitzsimmons <fitzsim@redhat.com> 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.

Tom



More information about the Java-patches mailing list