Top | ![]() |
![]() |
![]() |
![]() |
IdeRuntime * | ide_runtime_manager_get_runtime () |
void | ide_runtime_manager_add () |
void | ide_runtime_manager_remove () |
IdeRuntime * ide_runtime_manager_get_runtime (IdeRuntimeManager *self
,const gchar *id
);
Gets the runtime by its internal identifier.
void ide_runtime_manager_add (IdeRuntimeManager *self
,IdeRuntime *runtime
);
void ide_runtime_manager_remove (IdeRuntimeManager *self
,IdeRuntime *runtime
);