GTK colors

The color (1000,1000,1000) has become (992,992,992). It

    > looks to me like get_color() should multiply by 65535, or
    > is there a special reason for using 65025?

Hi Steve,

Not that I know of :slight_smile: I think you'll be fine using 65535 in both
cases. I suggest you go ahead and check it in.

JDH