Anki-android: Feature request: option to disable pull to sync

[ferrouswheel]

Pull to sync #4056 was added to ankidroid. While this is great for some users, I find that I keep accidentally syncing: I want to scroll to the top of my decks and occasionally go to for and get stuck waiting for a sync to occur.

Since I have no problem using the normal sync button, it'd be great if the "pull to sync" could be disable in settings.

[mikehardy]

I could see this being a preference option. Pretty good first issue if anyone wants it - add an XML preference option (maybe to advanced to start?) with translation in the translation files, then check whether it's on or not before doing the pull to sync.

[timrae]

I'd be quite interested to see how many people use that feature actually. I don't see a preference for this as an attractive option, I'd most likely not be in favor of merging to avoid preference proliferation.

[mikehardy]

After merge on the analytics PR #4969 I'll add a tag for pull to sync so we can see if the main feature is even used much...

[ferrouswheel]

Just bear in mind that any analytics you get will have a lot of
unintentional pull-down-to-sync actions.

When I was actively using Anki I probably unintentionally triggered it once
per session.

On Mon, 8 Oct 2018, 6:12 PM Mike Hardy, [e-mail] wrote:

After merge on the analytics PR #4969
https://github.com/ankidroid/Anki-Android/pull/4969 I'll add a tag for
pull to sync so we can see if the main feature is even used much...

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
https://github.com/ankidroid/Anki-Android/issues/4495#issuecomment-427723326,
or mute the thread
https://github.com/notifications/unsubscribe-auth/AAHWB0zVWrOqbKtIKEPaODxS7l7LcW-sks5uit6-gaJpZM4K29Q4
.

[mikehardy]

Possibly sure - it is also possible that we get nearly no actions. Another way of saying we could certainly see a lot of usage that we can't reason about concretely with regard to this bug but we may see so few events that it's moot. I've got no idea personally which is why I proposed including analytics - data vs intuition. We'll see...

[timrae]

I remember Xiao Sun wrote an eloquent review of this particular feature last year

https://groups.google.com/forum/#!searchin/anki-android/xiao$20sun%7Csort:date/anki-android/uKI_IofuIcU/-l0qGVlnAQAJ

[mikehardy]

That's hilarious - but Xiao may be on to something - I checked vs the Chrome comparison, apart from the general comedy of posting that - Xiao has a point - If the drag to sync only fired if the scrolling area was already at the top, we'd match what you can argue is the gold standard (chrome) w.r.t. behavior. Maybe that's the actual behavior change to contemplate. Then no preference or anything.

As an aside, I can't wait for the first big feature I implement to get roasted :-), maybe it'll be whatever terrible thing I come up with for notification setting

[timrae]

That's hilarious

The only user of our forum to have ever been banned lol...

[mikehardy]

5037 if merged will only pull to refresh if you are already at the top of the list, so you can fling the list and it won't sync. But a quick pull after that, yep. The ladder may not be on the right building, but it is well-constructed now ;-)