Searched refs:disable_splash (Results 1 – 4 of 4) sorted by relevance
57 gboolean disable_splash; member166 status->priv->disable_splash = FALSE; in anjuta_status_instance_init()435 gboolean disable_splash) in anjuta_status_disable_splash() argument439 status->priv->disable_splash = disable_splash; in anjuta_status_disable_splash()461 !status->priv->disable_splash) in anjuta_status_progress_add_ticks()
73 gboolean disable_splash);
343 GtkWidget* disable_splash = gui_get_widget(gui_builder, "settings_disable_splash", XML_FILE); in menubar_init_prefs() local350 …gtk_check_menu_item_set_active(GTK_CHECK_MENU_ITEM(disable_splash), gui_settings.gui_disable_splas… in menubar_init_prefs()
584 public void disable_splash (bool disable_splash);