enhanced icon highlighting in window switcher

2025-12-22 05:48:01 +01:00 · 2004-10-14 19:12:26 +00:00
parent 067fc41354
commit 5f4a3f6777
4 changed files with 190 additions and 56 deletions
--- a/src/monitor.c
+++ b/src/monitor.c
@@ -131,6 +131,7 @@ int MonitorLoop(int argc, char **argv)
            (WTERMSIG(status) == SIGSEGV ||
             WTERMSIG(status) == SIGBUS ||
             WTERMSIG(status) == SIGILL ||
+             WTERMSIG(status) == SIGABRT ||
             WTERMSIG(status) == SIGFPE))
        {
            /* If so, we check when was the last restart.