[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/06: ui: Highlight heading of generation lists.
|
From: |
guix-commits |
|
Subject: |
02/06: ui: Highlight heading of generation lists. |
|
Date: |
Sun, 14 Apr 2019 17:41:00 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 3dae43a92975cb6a1055e928523122bc340272fd
Author: Ludovic Courtès <address@hidden>
Date: Sun Apr 14 19:49:38 2019 +0200
ui: Highlight heading of generation lists.
* guix/ui.scm (display-generation): Highlight the "Generation" heading.
---
guix/ui.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/guix/ui.scm b/guix/ui.scm
index 39b13fd..92c845e 100644
--- a/guix/ui.scm
+++ b/guix/ui.scm
@@ -1564,7 +1564,7 @@ DURATION-RELATION with the current time."
(define (display-generation profile number)
"Display a one-line summary of generation NUMBER of PROFILE."
(unless (zero? number)
- (let ((header (format #f (G_ "Generation ~a\t~a") number
+ (let ((header (format #f (highlight (G_ "Generation ~a\t~a")) number
(date->string
(time-utc->date
(generation-time profile number))
- branch master updated (a5c72da -> f6e3f0f), guix-commits, 2019/04/14
- 06/06: vm: Remove Xorriso "-padding" option., guix-commits, 2019/04/14
- 04/06: installer: Force user to choose exactly one network management method., guix-commits, 2019/04/14
- 05/06: system: Remove "beta" from GRUB menu entries., guix-commits, 2019/04/14
- 03/06: installer: Fix snippet for the DHCP client., guix-commits, 2019/04/14
- 02/06: ui: Highlight heading of generation lists.,
guix-commits <=
- 01/06: colors: Add 'highlight'., guix-commits, 2019/04/14