fix setting batchOperations if none is set

This commit is contained in:
Uwe Steinmann 2024-04-30 20:44:41 +02:00
parent e0973e4a21
commit 594c5a5db5

View File

@ -134,7 +134,7 @@ if ($action == "saveSettings")
setStrValue('fullSearchEngine'); setStrValue('fullSearchEngine');
setStrValue('defaultSearchMethod'); setStrValue('defaultSearchMethod');
setStrValue('suggestTerms'); setStrValue('suggestTerms');
setStrValue('batchOperations'); setArrayValue('batchOperations');
setBoolValue("showSingleSearchHit"); setBoolValue("showSingleSearchHit");
setBoolValue("enableSessionList"); setBoolValue("enableSessionList");
setBoolValue("enableClipboard"); setBoolValue("enableClipboard");