Make timers user-adjustable
People use different lengths for their timers. Beginners use shorter Pomodoros and pros use shorter breaks. The goal is to add a preferences menu to change he default timers to the users needs.
Blueprint information
- Status:
- Started
- Approver:
- None
- Priority:
- Medium
- Drafter:
- Jan Girlich
- Direction:
- Approved
- Assignee:
- Jan Girlich
- Definition:
- Approved
- Series goal:
- Proposed for trunk
- Implementation:
-
Started
- Milestone target:
-
0.2
- Started by
- Jan Girlich
- Completed by
Whiteboard
Problem is the way time is handled right now i.e. the labels for the timer widget have the times hard coded (already changed in my linked branch).
Next steps include
* [x] finding a way of storing times as user settings. A suitable way has to be found for this.
* [ ] creating the GUI of a preferences menu to change the timer settings.
* [x] changing the code to use user-stored values instead of hardcoded times.
(* [ ] I'm thinking maybe using seconds only internally might make the code easier)
After this is done I'll propose this branch for merging into the mainline.
PS: I have a couple more ideas I'll let everyone know about after I finish this one.
