From 99484b1618624e7368d1fa6719981da80932fb14 Mon Sep 17 00:00:00 2001
From: Diego Escalante Urrelo <diegoe@gnome.org>
Date: Thu, 20 Mar 2014 21:25:13 -0500
Subject: [PATCH] install: Improve GPL display

Use <pre> to display the GPL license instead of a hacked <textarea>.
It's scrollable and non editable, and looks better thanks to bootstrap
default CSS.
---
 main/install/install.lib.php | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/main/install/install.lib.php b/main/install/install.lib.php
index cbab65d690..f058ba6aab 100755
--- a/main/install/install.lib.php
+++ b/main/install/install.lib.php
@@ -1480,10 +1480,7 @@ function display_license_agreement() {
     ?>
     <table>
 		<tr><td>
-            <p style="font-size:90%">
-            <textarea cols="90" rows="7" class="span6">
-            	<?php echo api_htmlentities(@file_get_contents(api_get_path(SYS_PATH).'documentation/license.txt')); ?>
-            </textarea></p>
+            <pre style="overflow: auto; height: 150px; margin-top: 5px;" class="span7"><?php echo api_htmlentities(@file_get_contents(api_get_path(SYS_PATH).'documentation/license.txt')); ?></pre>
         </td>
         </tr>
         <tr><td>