title: Change file (editor) encoding in jgrasp to UTF-8
body: <p>So... I was testing jGrasp and when i openned my testing file I saw something like this:</p>
  
  <p><a href="http://i.imgur.com/QpdEHJb.png?1" rel="nofollow">Â¿KhÃ ?</a></p>
  
  <p>instead of this:</p>
  
  <p><a href="http://i.stack.imgur.com/zzrbZ.png" rel="nofollow">¿Khà?</a></p>
  
  <p>but when i compile it, first i got the weird characters (the encoding was wrong). So i changed the encoding on the WorkSpace>Charset (the default, I/O and cygwin) to UTF-8 and got the correct output (like in the second image)... but it still looks the same on jGrasp.</p>
  
  <p>If I change it on jGrasp so it looks "good", on other  text editors will look diferent (and also in the compiler).</p>
  
  <h3>EDIT</h3>
  
  <p>I have found a few other encodings that work, but they aren't UTF-8, and also i don 't want to be changing every moment the encoding.</p>