From ac908e49e603f5ef76644baa8c5438eabe4ca608 Mon Sep 17 00:00:00 2001
From: mikolaj widla <mikolaj.widla@gmail.com>
Date: Thu, 23 Feb 2023 09:15:47 +0100
Subject: [PATCH] Disabled resultArea for XMLTools

---
 Frontend/tools/xpath.html | 2 +-
 Frontend/tools/xsd.html   | 2 +-
 Frontend/tools/xslt.html  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Frontend/tools/xpath.html b/Frontend/tools/xpath.html
index 14deda7..3cf6f71 100644
--- a/Frontend/tools/xpath.html
+++ b/Frontend/tools/xpath.html
@@ -57,7 +57,7 @@
                     expression</button>
                 <br><br>
                 <label for="resultArea"><b>Transform result:<span id="procinfo"></span></b></label>
-                <textarea id="resultArea" name="resultArea"
+                <textarea disabled id="resultArea" name="resultArea"
                     class="textarea-300 bordered-field vertically-resizeable max-width" style="margin-bottom: 50px;" rows="10" cols="100"></textarea>
 
             </div>
diff --git a/Frontend/tools/xsd.html b/Frontend/tools/xsd.html
index 47e6505..95c7a96 100644
--- a/Frontend/tools/xsd.html
+++ b/Frontend/tools/xsd.html
@@ -49,7 +49,7 @@
                 <br><br>
 
                 <label for="resultArea"><b>Result:<span id="procinfo"></span></b></label>
-                <textarea id="resultArea" name="resultArea" rows="2"
+                <textarea disabled id="resultArea" name="resultArea" rows="2"
                     class="bordered-field vert2ically-resizeable max-width" style="margin-bottom: 50px;"></textarea>
 
             </div>
diff --git a/Frontend/tools/xslt.html b/Frontend/tools/xslt.html
index 61319fe..84ae190 100644
--- a/Frontend/tools/xslt.html
+++ b/Frontend/tools/xslt.html
@@ -50,7 +50,7 @@
                 <br><br>
 
                 <label for="resultArea"><b>Transform result:<span id="procinfo"></span></b></label>
-                <textarea id="resultArea" name="resultArea" rows="10"
+                <textarea disabled id="resultArea" name="resultArea" rows="10"
                     class="textarea-300 bordered-field vertically-resizeable max-width" style="margin-bottom: 50px;" ></textarea>
 
             </div>