From b332467cdffc073632379fe3f71bafc364597281 Mon Sep 17 00:00:00 2001
From: "Christopher W. Wood" <cwwoodesq@gmail.com>
Date: Wed, 31 Jan 2024 14:06:20 +0000
Subject: [PATCH] Add page title.

---
 ui.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ui.py b/ui.py
index c219612..402dd9d 100644
--- a/ui.py
+++ b/ui.py
@@ -37,6 +37,9 @@
 from sample import main_sample
 from matplotlib.pyplot import imread
 
+# Set page title.
+st.set_page_config(page_title="TIMED Design")
+
 # {{{ Cached Wrappers
 @st.cache(show_spinner=False)
 def _calculate_seq_metrics_wrapper(seq: str):