
<html><head></head><body>Ugh. Thanks. I had tested this at some point, but must have broken it again.<br><br>I would have been shocked had this "just worked". Stay tuned.<br><br>/D<br><br><div class="gmail_quote">On November 6, 2019 2:13:59 PM GMT+01:00, Rainer Mohr <mail@divelogs.de> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<pre class="k9mail"><br><br>Am 06.11.19 um 14:02 schrieb Dirk Hohndel:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;">I worry that there may be subtle side effects that I missed. So solid <br>testing of anything that might change the dive list would be super helpful<br></blockquote><br>No idea, if this is related to the change you implemented, but searching <br>for something results in the screenshot attached. Empty Trip headings.<br> From that moment on, eveything is wrong and scrolling is back to choppy <br>and unresponsive.<br>No way to reset this but force close the app and re-open.<br><br>hth...<br><br>Rainer<br></pre></blockquote></div><br>-- <br>From my phone</body></html>