01/01: installer: If there's a "config" window, refresh it, too.

[Danny Milosavljevic]

dannym pushed a commit to branch wip-installer-2
in repository guix.

commit 467bd0933e783ef56df9bb5aca5c17b618c7d125
Author: Danny Milosavljevic <address@hidden>
Date:   Sun Jul 9 18:18:01 2017 +0200

    installer: If there's a "config" window, refresh it, too.
    
    * gnu/system/installer/page.scm (page-refresh): Refresh config-window as 
well.
---
 gnu/system/installer/page.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gnu/system/installer/page.scm b/gnu/system/installer/page.scm
index 297cac0..a005a3b 100644
--- a/gnu/system/installer/page.scm
+++ b/gnu/system/installer/page.scm
@@ -317,7 +317,9 @@ If a form is used it's assumed that the menu is not used 
and vice versa."
       ((page-refresher p) p)
       (let ((form (page-datum p 'form))
             (buttons (page-datum p 'navigation))
-            (menu (page-datum p 'menu)))
+            (menu (page-datum p 'menu))
+            (config-window (page-datum p 'config-window))
+            (config-window-title (page-datum p 'config-window-title)))
         (if menu
           (begin
             (menu-redraw menu)
@@ -326,6 +328,10 @@ If a form is used it's assumed that the menu is not used 
and vice versa."
           (buttons-refresh buttons))
         (if form
           (form-refresh form))
+        (if config-window
+          (boxed-window-decoration-refresh config-window
+                                           (or config-window-title
+                                               "Output")))
         (move focused-window y x))))))
 
 (define (page-enter p)