-
Jonas Dreßler authored
This causes us to unmap and destroy the search actors at very inconvenient times, for example before we can initiate the app opening animation, leading to JS errors and a broken animation. Since the function doesn't actually seem needed anymore, remove it.
4ef0db25