diff options
| -rw-r--r-- | x11/xfce4-taskmanager/Makefile | 1 | ||||
| -rw-r--r-- | x11/xfce4-taskmanager/files/patch-src_task-manager.c | 18 |
2 files changed, 19 insertions, 0 deletions
diff --git a/x11/xfce4-taskmanager/Makefile b/x11/xfce4-taskmanager/Makefile index db12c63445a0..a5b6cab69dd9 100644 --- a/x11/xfce4-taskmanager/Makefile +++ b/x11/xfce4-taskmanager/Makefile @@ -3,6 +3,7 @@ PORTNAME= xfce4-taskmanager PORTVERSION= 1.2.3 +PORTREVISION= 1 CATEGORIES= x11 xfce MASTER_SITES= XFCE/apps DIST_SUBDIR= xfce4 diff --git a/x11/xfce4-taskmanager/files/patch-src_task-manager.c b/x11/xfce4-taskmanager/files/patch-src_task-manager.c new file mode 100644 index 000000000000..59140837bb9c --- /dev/null +++ b/x11/xfce4-taskmanager/files/patch-src_task-manager.c @@ -0,0 +1,18 @@ +--- src/task-manager.c.orig 2019-12-09 09:12:44 UTC ++++ src/task-manager.c +@@ -432,10 +432,12 @@ xtm_task_manager_update_model (XtmTaskManager *manager + gtk_tree_model_get (manager->model, &cur_iter, XTM_PTV_COLUMN_CPU_STR, &cpu_str, XTM_PTV_COLUMN_TIMESTAMP, &old_timestamp, XTM_PTV_COLUMN_PID, &pid, -1); + found = (g_strcmp0 (cpu_str, "-") == 0); + g_free (cpu_str); +- if (found && (timestamp - old_timestamp) > TIMESTAMP_DELTA) ++ if (found) + { +- G_DEBUG_FMT ("Remove old task %d", pid); +- model_remove_tree_iter (manager->model, &cur_iter); ++ if ((timestamp - old_timestamp) > TIMESTAMP_DELTA) { ++ G_DEBUG_FMT ("Remove old task %d", pid); ++ model_remove_tree_iter (manager->model, &cur_iter); ++ } + continue; + } + |