Document that GtkUIManager is deprecated by GtkBuilder
This has been former logged in Bugzilla bug 709732.
GtkUIManager is tagged as deprecated in gtk+-3.10 but the reader isn't told what to use instead.
Shouldn't (s)he be pointed to GtkBuilder widget instead?
See commit https://git.gnome.org/browse/gtk+/commit/gtk/gtkuimanager.h?id=c96a1c49802468bd0c7b7ad44782e864bdaaf430 "It is recommended to use GAction et al and GtkBuilder."
I'd really appreciate it, if a hint would have been mentioned in the deprication message of GtkUIManager or GtkActionGroup. Maybe with a little warning that there is not 1:1 take pendant.
I request to update the official documentation because there is nearly NO programming examples in the wild for GtkBuilder. Most examples point to GtkUIManager which meanwhile became depricated.