Re: Change default toolkit to Gtk3?

[Stefan Monnier]

> I'd rather not.  We don't distinguish between versions (Motif, X, NS)
> in other cases, so why here?

But we've never offered a way for the user to select which version of
motif/X/NS to use either.  So I think it would make sense to say "GTK2"
or "GTK3" depending on which one got chosen by `configure' in the end.
Not terribly important, but if it can be done cheaply, it's better to do it.


        Stefan