From c7f5356bb51cfcc41926e281d7efe3df8617d13c Mon Sep 17 00:00:00 2001
From: David Leal <halfpacho@gmail.com>
Date: Fri, 1 Dec 2023 17:02:18 -0600
Subject: [PATCH] Make the credits textbox read-only (#683)

---
 Toolbox/GUI/Credits.Designer.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Toolbox/GUI/Credits.Designer.cs b/Toolbox/GUI/Credits.Designer.cs
index 5736c722..0a5988d4 100644
--- a/Toolbox/GUI/Credits.Designer.cs
+++ b/Toolbox/GUI/Credits.Designer.cs
@@ -76,6 +76,7 @@
             this.richTextBox1.ForeColor = System.Drawing.Color.White;
             this.richTextBox1.Location = new System.Drawing.Point(15, 107);
             this.richTextBox1.Name = "richTextBox1";
+            this.richTextBox1.ReadOnly = true;
             this.richTextBox1.Size = new System.Drawing.Size(414, 311);
             this.richTextBox1.TabIndex = 4;
             this.richTextBox1.Text = resources.GetString("richTextBox1.Text");
@@ -117,4 +118,4 @@
         private System.Windows.Forms.RichTextBox richTextBox1;
         private System.Windows.Forms.PictureBox pictureBox1;
     }
-}
\ No newline at end of file
+}