From 5bbc7899bc89aed0faa94823266f29ea51cff044 Mon Sep 17 00:00:00 2001
From: Thomas Manni <thomas.manni@free.fr>
Date: Tue, 24 Nov 2020 20:07:08 +0100
Subject: [PATCH] menus: remove PaintSelect tool from the menus...

...as long as it stays in the playground.
---
 menus/image-menu.xml.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/menus/image-menu.xml.in b/menus/image-menu.xml.in
index 6f61854b81..a1848ff707 100644
--- a/menus/image-menu.xml.in
+++ b/menus/image-menu.xml.in
@@ -643,7 +643,10 @@
         <menuitem action="tools-fuzzy-select" />
         <menuitem action="tools-by-color-select" />
         <menuitem action="tools-iscissors" />
+    <!-- Enable when the tool leaves the playground
         <menuitem action="tools-paint-select" />
+    -->
+
       </menu>
       <menu action="tools-paint-menu" name="Paint Tools">
         <menuitem action="tools-bucket-fill" />