diff options
author | 2020-02-19 21:43:37 +0100 | |
---|---|---|
committer | 2020-03-01 10:21:44 -0800 | |
commit | eed4e2746d5a81975f3cabf440e241a38a4aec7c (patch) | |
tree | c63925db5abd4e2d43f12d4764eae88a0ad4e9ee /.github | |
parent | b5a427c8804bc75f5a2007ece03f9d8b34cd963f (diff) | |
download | subsurface-eed4e2746d5a81975f3cabf440e241a38a4aec7c.tar.gz |
filter: don't search in background on mobile
I experienced weird crashes that seemed timing-related when
using the filter. Therefore, remove the multi-threading thing.
So far no more crashes, but keep a close eye on that.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions