[gnome-builder/wip/gtk4-port] plugins/buildui: remove pause build
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port] plugins/buildui: remove pause build
- Date: Thu, 16 Jun 2022 05:21:17 +0000 (UTC)
commit 860223347ab66aac4fe84ce209619553515dbdfc
Author: Christian Hergert <chergert redhat com>
Date: Wed Jun 15 22:21:12 2022 -0700
plugins/buildui: remove pause build
This isn't likely to get implemented any time soon, so just drop it for
now so I don't forget later.
src/plugins/buildui/gtk/menus.ui | 5 -----
1 file changed, 5 deletions(-)
---
diff --git a/src/plugins/buildui/gtk/menus.ui b/src/plugins/buildui/gtk/menus.ui
index 6e13fd066..c314df113 100644
--- a/src/plugins/buildui/gtk/menus.ui
+++ b/src/plugins/buildui/gtk/menus.ui
@@ -79,11 +79,6 @@
<attribute name="label" translatable="yes">Stop Build</attribute>
<attribute name="action">build-manager.cancel</attribute>
</item>
- <item>
- <attribute name="label" translatable="yes">Pause Build</attribute>
- <attribute name="action">build-manager.pause</attribute>
- <attribute name="role">check</attribute>
- </item>
</section>
<section id="build-output">
<item>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]