/TagTime

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

preferences: make gap time configurable #28

Merged
merged 1 commit into from Oct 15, 2013

Conversation

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@jeffkaufman @bsoule
@jeffkaufman
Contributor

jeffkaufman commented Oct 9, 2013

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
Contributor

jeffkaufman commented Oct 13, 2013

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 added a commit that referenced this pull request Oct 15, 2013

@bsoule bsoule Merge pull request #28 from jeffkaufman/add-gap-pref 
preferences: make gap time configurable
 a6a791d

@bsoule bsoule merged commit a6a791d into tagtime: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