Miscellaneous GUI tools.