Property
IdeDiagnosticsManager:busy
Description
No description available.
Type: | gboolean |
Default value | FALSE |
Getter method | ide_diagnostics_manager_get_busy() |
Type: | gboolean |
Default value | FALSE |
Getter method | ide_diagnostics_manager_get_busy() |