Gtk::STYLE_PROVIDER_PRIORITY_APPLICATION

[Phil Wolff <adiabat centurylink net>]

> From the docs on Gtk::Widget::override_color:

"Note that for complex widgets this may bring in undesired results (such
as uniform background color everywhere), in these cases it is better to
fully style such widgets through a Gtk::CssProvider with the
Gtk::STYLE_PROVIDER_PRIORITY_APPLICATION priority."

I can't find a GTKMM definition for
Gtk::STYLE_PROVIDER_PRIORITY_APPLICATION, although
GTK_STYLE_PROVIDER_PRIORITY_APPLICATION is defined in the GTK+ headers.

Oversight? Bug?