[gnome-builder/wip/gtk4-port: 1549/1774] plugins/buildui: remove pause build
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 1549/1774] plugins/buildui: remove pause build
- Date: Mon, 11 Jul 2022 22:31:49 +0000 (UTC)
commit fb7be23cbb25c81dc4c2f49354fe2b277c8b8747
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]