Tom Willemse 806901b70d Change the color of the window name in the mode line		2023-04-22 00:39:16 -07:00
..
config	Change the color of the window name in the mode line	2023-04-22 00:39:16 -07:00