On Wed, Dec 13, 2000 at 03:29:41AM +0100, Marc Lehmann wrote:
> I think the best way would be to make any gtk label/text widget be
> selectable. I don't know why this has not been done so far, but it might be
> an interesting experiment.
Yes, I've often thought this. And everyone knows that if Marc and I agree
about something it must be right (?) or at least it's in no-one's interest
How do we put something on the GTK+ "TODO" list? Anyone from GTK+ still
hang out on gimp-devel, or are the two worlds quite, quite separate