Source position: gnomeapphelper.inc line 149
procedure gnome_app_ui_configure_configurable(
uiinfo: PGnomeUIInfo
);