From 40c42534b9daa1f8386b836128866d4383572bae Mon Sep 17 00:00:00 2001
From: Christian Weiske <cweiske@cweiske.de>
Date: Fri, 4 Jul 2014 21:46:42 +0200
Subject: [PATCH] put config.php.dist in textarea for easier selecting and
 copying

---
 www/setup.php | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/www/setup.php b/www/setup.php
index f0be905..485c19f 100644
--- a/www/setup.php
+++ b/www/setup.php
@@ -103,6 +103,7 @@ if (array_sum($GLOBALS['phorkie']['cfgfiles']) == 0) {
     $cfgFileTemplate = htmlspecialchars(
         file_get_contents(__DIR__ . '/../data/config.php.dist')
     );
+    $cfgFileLines = count(explode("\n", $cfgFileTemplate));
 
     $out .= <<<HTM
      <h3 id="configfile">Configuration file</h3>
@@ -114,7 +115,7 @@ if (array_sum($GLOBALS['phorkie']['cfgfiles']) == 0) {
      <p>
       from the following template:
      </p>
-     <pre>$cfgFileTemplate</pre>
+     <textarea style="width:99%; background-color: #F5F5F5" rows="$cfgFileLines">$cfgFileTemplate</textarea>
      <p>
       Remove the leading <tt>//</tt> from a line if you want to adjust it.
      </p>
@@ -122,8 +123,8 @@ HTM;
 }
 
 $out .= <<<HTM
-     <p>
-      <a href="./">back</a> to the index
+     <p style="margin-top: 4ex">
+      <a href="./"><i class="icon-arrow-left"></i> back</a> to the index
      </p>
     </div>
    </div>
-- 
2.30.2