console search does not get updated when new messages arrive
The console search feature does not get updated when new messages arrive. If one toggles the highlight all option, any new messages containing the searched string will not be highlighted. The user then must delete the search string and input it again in order to update the search results.