diff options
author | streetturtle <streetturtle@users.noreply.github.com> | 2020-09-21 20:53:22 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-21 20:53:22 -0400 |
commit | 31213af0082bef8344475dbeb84205f1a7e31c7d (patch) | |
tree | 2a8b4cad8363c5a0019466edf86d8ef99941d2f4 /jira-widget/jira.lua | |
parent | a127ffe8efc8ccb91b7a8495c23f67278609df25 (diff) | |
parent | 21150bd640f086f617c61b32cde5e45ecfb5158f (diff) |
Merge pull request #188 from brucec5/widget-tweaks
Add customizable refresh timeouts to most widgets
Diffstat (limited to 'jira-widget/jira.lua')
-rw-r--r-- | jira-widget/jira.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/jira-widget/jira.lua b/jira-widget/jira.lua index af85cf2..7f0ceb6 100644 --- a/jira-widget/jira.lua +++ b/jira-widget/jira.lua @@ -107,6 +107,7 @@ local function worker(args) local icon = args.icon or HOME_DIR .. '/.config/awesome/awesome-wm-widgets/jira-widget/jira-mark-gradient-blue.svg' local host = args.host or show_warning('Jira host is unknown') local query = args.query or 'jql=assignee=currentuser() AND resolution=Unresolved' + local timeout = args.timeout or 10 jira_widget:set_icon(icon) @@ -229,7 +230,7 @@ local function worker(args) ) ) watch(string.format(GET_ISSUES_CMD, host, query:gsub(' ', '+')), - 10, update_widget, jira_widget) + timeout, update_widget, jira_widget) return jira_widget end |