It would be useful to have a command "option dump" that returns a list of
all resource options. The output would be like that of the shell command
"xrdb -query" but would give all the resources that have been set in the Tcl
interpreter, as a Tcl list.
Without this, it is hard to diagnose why an "option add" command has had no
effect.
Keith.