API Version: 41.0
Library Version: 41.0
void ide_workbench_foreach_workspace ( IdeWorkbench* self, GtkCallback callback, gpointer user_data )
Iterates the available workspaces in the workbench. Workspaces are iterated in most-recently-used order.
callback
GtkCallback
A GtkCallback to call for each IdeWorkspace.
IdeWorkspace
user_data
gpointer
User data for callback.