Skip to content
This repository was archived by the owner on Oct 15, 2022. It is now read-only.

Commit

Permalink
Merge pull request #962 from duckduckgo/mattr/timer-hotfix
Browse files Browse the repository at this point in the history
Timer: use mp3 instead of wav, fix jumpy timer start
  • Loading branch information
Jag Talon committed Jul 15, 2014
2 parents 103fed6 + 66d28c6 commit 4759aae
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 2 deletions.
Binary file added share/spice/timer/alarm.mp3
Binary file not shown.
Binary file removed share/spice/timer/alarm.wav
Binary file not shown.
6 changes: 5 additions & 1 deletion share/spice/timer/timer.css
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@
.zci--timer .timer__time-input {
width: 40%;
height: 100%;
margin-top: 20px;
margin-top: 15px;
margin-right: 2px;
margin-left: 2px;
text-align: center;
Expand Down Expand Up @@ -112,6 +112,10 @@
.zci--timer #timer_container {
max-width: 500px;
margin: 0 auto;
}

.zci--timer #timer_display {
padding-bottom: 0;
}

.zci--timer .timer__done-modal {
Expand Down
2 changes: 1 addition & 1 deletion share/spice/timer/timer.js
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ License: CC BY-NC 3.0 http://creativecommons.org/licenses/by-nc/3.0/
$reset_btn = $('#reset_btn'),
$startstop_btn = $('#startstop_btn'),
$done_modal = $('#done_modal'),
soundUrl = DDG.get_asset_path('timer', 'alarm.wav'),
soundUrl = DDG.get_asset_path('timer', 'alarm.mp3'),
enteredTime = parseQueryForTime();

if (enteredTime) {
Expand Down

0 comments on commit 4759aae

Please sign in to comment.