-
Committer:
Sean Davis
-
Date:
2018-03-16 10:23:42 UTC
-
Revision ID:
smd.seandavis@gmail.com-20180316102342-ljj8e5qqc5059yf7
Disable deletion while in search mode. Leads to infinite loop and menus cannot be correctly updated while searching anyway (LP: #1751616)