From d69a0cbc0085477809d515a469e493b5c84334f9 Mon Sep 17 00:00:00 2001
From: Daan Vanden Bosch <daan.v.d.bosch@gmail.com>
Date: Wed, 29 Apr 2020 20:05:35 +0200
Subject: [PATCH] TextArea now correctly sets the disabled state of its
 textarea element.

---
 src/core/gui/TextArea.ts | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/core/gui/TextArea.ts b/src/core/gui/TextArea.ts
index 8dc5952e..07d66905 100644
--- a/src/core/gui/TextArea.ts
+++ b/src/core/gui/TextArea.ts
@@ -49,4 +49,10 @@ export class TextArea extends LabelledControl {
     protected set_value(value: string): void {
         this.text_element.value = value;
     }
+
+    protected set_enabled(enabled: boolean): void {
+        super.set_enabled(enabled);
+
+        this.text_element.disabled = !enabled;
+    }
 }