From ceafbf0629db90414130859d49c03a28396ec1ad Mon Sep 17 00:00:00 2001
From: David Maciejak <david.maciejak@gmail.com>
Date: Thu, 2 Mar 2023 19:24:08 +0800
Subject: [PATCH] Coverity: fix WPrefs mousesettings menu negative array index
 read

---
 WPrefs.app/MouseSettings.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/WPrefs.app/MouseSettings.c b/WPrefs.app/MouseSettings.c
index 9dc1328c..d15d7a45 100644
--- a/WPrefs.app/MouseSettings.c
+++ b/WPrefs.app/MouseSettings.c
@@ -748,6 +748,8 @@ static void storeData(_Panel * panel)
 		int action;
 
 		action = WMGetPopUpButtonSelectedItem(panel->mouse_action[i].popup);
+		if (action < 0)
+			continue;
 		if (button_list[i].type == T_BUTTON)
 			db_value = button_actions[action].db_value;
 		else