[ CCode ( has_construct_function = false , type = "GtkWidget*" ) ]
[ Version ( since = "2.10" ) ]
public RecentChooserMenu.for_manager (RecentManager manager)
Creates a new RecentChooserMenu widget using manager as the
underlying recently used resources manager.
This is useful if you have implemented your own recent manager, or if you have a customized instance of a RecentManager object or if you wish to share a common RecentManager object among multiple RecentChooser widgets.
| manager |
|
a new RecentChooserMenu, bound to |