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 to disagree... 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 these days? Nick.