title: How to write highlight_file to textarea?
body: <p>I want to write text from highlight_file to the html textarea... but not sure how?
  Note:  I am able to write the screen the colored text, but I want it loaded into a box where I can modify the text.  thx</p>
  
  <pre><code>&lt;?php
  ...
  $code =  highlight_file($_POST[filename]);//not sure if this works to write to $code
  ...
  ?&gt;
  &lt;html&gt;
  &lt;textarea type="text" name="code" rows="40" cols="120"&gt;
  &lt;?php echo $code; ?&gt;
  &lt;/textarea&gt; &lt;!this does not work&gt;
  &lt;/html&gt;
  </code></pre>