diff options
Diffstat (limited to 'utils/notifier/options.html')
| -rw-r--r-- | utils/notifier/options.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/utils/notifier/options.html b/utils/notifier/options.html index 99ae0787d..d7becf222 100644 --- a/utils/notifier/options.html +++ b/utils/notifier/options.html @@ -37,6 +37,8 @@ function save() { new Effect.Highlight(f.update_interval); } + localStorage['show_badge'] = (f.show_badge.checked) ? "1" : "0"; + var d = new Date(); localStorage["prefs_updated"] = d.getTime(); @@ -64,6 +66,11 @@ function init() { else f.update_interval.value = '15'; + if (localStorage['show_badge']) + f.show_badge.checked = localStorage['show_badge'] == "1"; + else + f.show_badge.checked = true; + var last_updated = $('last_updated'); var d = new Date(); @@ -128,6 +135,11 @@ p.last-updated { <input name="update_interval" size="30" value=""/> </fieldset> + <fieldset> + <label>Show badge:</label> + <input name="show_badge" type="checkbox" value="1"/> + </fieldset> + <input type="submit" value="Save"/> </form> |