Jeffrey C. Ollie
ec0f90d1b6
Improve quit timers.
...
Instead of "polling" to see if a quit timer has expired, start a single
timer that expires after the confiugred delay when no more surfaces are
open. That timer can be cancelled if necessary.
2024-08-01 14:49:02 -05:00
..
2024-08-01 14:49:02 -05:00
2024-03-27 16:47:26 -05:00
2024-06-05 10:42:43 -07:00
2023-11-10 23:12:39 -05:00
2024-03-27 16:47:27 -05:00
2024-04-18 13:27:15 -07:00
2024-05-10 10:17:33 -07:00
2024-03-27 16:47:26 -05:00
2024-06-24 15:16:24 -07:00
2024-07-11 10:29:40 -05:00
2024-04-21 10:17:38 -07:00
2024-04-21 10:17:38 -07:00
2024-04-21 10:17:38 -07:00
2024-07-07 09:37:43 -07:00
2024-07-22 21:13:07 +03:00
2024-07-06 15:01:18 -07:00
2023-09-17 22:03:43 -07:00
2024-07-21 11:10:21 +03:00
2024-01-10 10:15:39 -06:00