-
Christian Hergert authored
This allows you to either stop the build (duplicate of the top bar) or clear the build log from the build log panel. We might also consider adding a save action here. https://bugzilla.gnome.org/show_bug.cgi?id=779425
20a26408