// This file lists names that are described as being obsolete in the
// GTK header files.