<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 22 June 2017 at 19:57, Rick Walsh <span dir="ltr"><<a href="mailto:rickmwalsh@gmail.com" target="_blank">rickmwalsh@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><div dir="auto"><span class=""></span><span class=""><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="m_216614219909943624quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
b) pull down the dive list to refresh / sync with the cloud server<br></blockquote></div></div></div><div dir="auto"><br></div></span><div dir="auto">That is a great improvement. I actually stayed up last night and tried to work out how it could be done. But it doesn't quite work for me. The list doesn't bounce back up on release. Then if you try again, it gets dragged down further. See my screenshot (with 4.6.4.248).</div><div dir="auto"><br></div><br></div></blockquote><div>I tried to reproduce this with the hope of debugging it, but now it works as expected.  I did come across a perhaps related bug where the spinner persisted after a failed attempt to refresh.  2-line patch sent the old-fashioned way. <br></div></div></div></div>