Add search field for 'all-names' to search menu

2025-06-22 02:18:26 +00:00 · 2020-06-13 17:08:10 +02:00
parent f30c8a5e4d
commit 5468e24b55
2 changed files with 38 additions and 5 deletions
--- a/modules/webapp/src/main/elm/Page/Home/Update.elm
+++ b/modules/webapp/src/main/elm/Page/Home/Update.elm
@ -35,7 +35,7 @@ update key flags settings msg model =
                    { model | searchMenuModel = Tuple.first nextState.modelCmd }

                ( m2, c2 ) =
-                    if nextState.stateChange then
+                    if nextState.stateChange && not model.searchInProgress then
                        doSearch flags settings newModel

                    else