diff options
author | David Thompson <dthompson2@worcester.edu> | 2023-04-30 10:47:55 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2023-04-30 10:47:55 -0400 |
commit | 335e8af2ff7467d1f3fad5aed52163492a684ce0 (patch) | |
tree | 5b393a978001cef8b85ddeecaa76500603fd7bf6 | |
parent | 424681f151f798b896cdef67ec57efefe3baec3d (diff) |
Force re-layout after updating GC stats.
-rw-r--r-- | catbird/overlay.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/catbird/overlay.scm b/catbird/overlay.scm index 8d1306c..1d39c9e 100644 --- a/catbird/overlay.scm +++ b/catbird/overlay.scm @@ -283,6 +283,8 @@ (number->string (assq-ref stats 'protected-objects))) (set! (text (stat-label 'gc-times)) (number->string (assq-ref stats 'gc-times)))) + ;; Force layout update. + (layout (& gc-display table)) (resize (& gc-display background) (width (& gc-display table)) (height (& gc-display table)))) |