{ "title": "To Do", "empty": "No tasks yet — add one with +", "placeholder": "New task…", "tooltip": "To Do — {count} to do", "save_failed": "Failed to save the task list", "prio_low": "Low", "prio_medium": "Medium", "prio_important": "Important", "sort_priority": "Priority", "sort_manual": "Manual", "clear_done_confirm": "Delete all done entries?", "clear_done_yes": "Delete", "clear_done_no": "Cancel", "tip_sort": "Switch ordering mode", "tip_clear_done": "Delete all done tasks", "tip_add": "Add a task", "tip_close": "Close", "tip_grip": "Reorder — click to pick this row up", "tip_grip_drop": "Click another grip to drop here, or this one to cancel", "tip_commit": "Save (Enter)", "tip_done": "Mark as done", "tip_undone": "Mark as to do", "tip_edit": "Edit", "tip_delete": "Delete task", "settings.todo_folder.label": "To Do folder", "settings.todo_folder.description": "Folder holding the task list (todo.json). Defaults to ~/Documents/Todo.", "settings.glyph.label": "Bar glyph", "settings.glyph.description": "The glyph shown for the To Do widget on the bar." }