mirror of
https://github.com/gryf/wmaker.git
synced 2026-10-06 00:50:34 +02:00
Coverity: fix WPrefs mousesettings menu negative array index read
This commit is contained in:
1 parent
cf178d011b
commit
ceafbf0629
1 file changed
+2
@@ -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
|
||||
|
||||
Reference in new issue
Block a user