From 0b2fda4fe350a18f2aed3259d6921032c3a0288e Mon Sep 17 00:00:00 2001
From: Patrick Niemeyer <pat@pat.net>
Date: Tue, 27 Feb 2024 14:42:15 -0600
Subject: [PATCH] gai: Fix missing color.

---
 gui-orchid/lib/orchid/orchid_text.dart | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gui-orchid/lib/orchid/orchid_text.dart b/gui-orchid/lib/orchid/orchid_text.dart
index a4978d207..261d3a5a4 100644
--- a/gui-orchid/lib/orchid/orchid_text.dart
+++ b/gui-orchid/lib/orchid/orchid_text.dart
@@ -93,6 +93,10 @@ extension TextStyleExtensions on TextStyle {
     return this.copyWith(color: Colors.black);
   }
 
+  TextStyle get grey {
+    return this.copyWith(color: Colors.grey);
+  }
+
   TextStyle get red {
     return this.copyWith(color: Colors.red);
   }