From ad1e7da1fb168e0e923aab4cce89413c4899ae25 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Thu, 11 Feb 2021 07:57:09 +0100
Subject: [PATCH 1/1] Assure filtered module items are not editable (#12127)

---
 src/frontends/qt/GuiDocument.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/qt/GuiDocument.cpp b/src/frontends/qt/GuiDocument.cpp
index f808819f88..2f2033d67c 100644
--- a/src/frontends/qt/GuiDocument.cpp
+++ b/src/frontends/qt/GuiDocument.cpp
@@ -1896,6 +1896,7 @@ void GuiDocument::filterModules(QString const & str)
 			item->setData(m.name, Qt::DisplayRole);
 			item->setData(toqstr(m.id), Qt::UserRole);
 			item->setData(m.description, Qt::ToolTipRole);
+			item->setEditable(false);
 			if (m.local)
 				item->setIcon(user_icon);
 			else
-- 
2.39.2