Commit 542014dd authored by Christian Hergert's avatar Christian Hergert
Browse files

buildui: show build panel when build starts

I'm still not sure if we want to do this unconditionally in the long term,
but this is probably fine for now.

My concern long term is that we might get into a situation where the user
had another panel of importance open and keeps getting ping-pong'd away
from it.

But until our panel system is a bit more complex, this is likely a fine
solution.
parent 1cafd5f5
......@@ -68,14 +68,15 @@ ide_build_workbench_addin_set_pipeline (IdeBuildWorkbenchAddin *self,
if (g_set_object (&self->pipeline, pipeline))
{
ide_build_log_panel_set_pipeline (self->build_log_panel, pipeline);
g_object_notify_by_pspec (G_OBJECT (self), properties [PROP_PIPELINE]);
}
if (!gtk_widget_get_visible (GTK_WIDGET (self->build_log_panel)))
{
gtk_widget_show (GTK_WIDGET (self->build_log_panel));
dzl_dock_item_present (DZL_DOCK_ITEM (self->build_log_panel));
}
if (pipeline != NULL)
{
gtk_widget_show (GTK_WIDGET (self->build_log_panel));
g_object_notify_by_pspec (G_OBJECT (self), properties [PROP_PIPELINE]);
if (ide_build_pipeline_get_requested_phase (pipeline) >= IDE_BUILD_PHASE_BUILD)
dzl_dock_item_present (DZL_DOCK_ITEM (self->build_log_panel));
}
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment