preferences: make gap time configurable #28

Merged
merged 1 commit into from Oct 15, 2013

Projects

None yet

2 participants

@jeffkaufman

Instead of using a constant 45min gap, put it in the preferences.

This still needs some work: the change in gap time isn't reflected immediately, only after the next ping fires.

@jeffkaufman jeffkaufman preferences: make gap time configurable
Instead of using a constant 45min gap, put it in the preferences.

This still needs some work: the change in gap time isn't reflected
immediately, only after the next ping fires.
4b82eff
@jeffkaufman

Is there a better way to do this? I mean, I can just build my own TagTime with the gap hardcoded to something else, but other people would probably like the change too.

@bsoule bsoule merged commit a6a791d into dreeves:master Oct 15, 2013
@jeffkaufman jeffkaufman referenced this pull request Oct 19, 2013
Closed

New Android release? #30

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment