Well, from a quick look, Tk seems to be freely redistributable and to run
on everything, so it satisfies my criteria. When we started the gui
project two years ago, the students who took it on first suggested Qt,
which I rejected because of its (then) restrictive license, and then
settled on wxWidgets.
Does Tk handle color xor correctly? The current reason not to switch
to Qt is that it seems not to allow xor at all. (That is, drawing lines
in xor mode, not xor'ed bitblt.)