<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">On 04/12/2012 14:46, Massimo Soricetti
      wrote:<br>
    </div>
    <blockquote cite="mid:50BE0CC6.1060306@quipo.it" type="cite">
      <meta content="text/html; charset=ISO-8859-1"
        http-equiv="Content-Type">
      <div class="moz-cite-prefix">But more important, I don't like
        wasted space... and yes, it would be cool to eliminate title
        bars, maybe using "onmouseover" popup balloons when the pointer
        rests near the top border for a second or two :-)<br>
      </div>
    </blockquote>
    <br>
    If you use several SourceEditors, and some have only one tab: You
    can set the IDE to hide that tab, saving the space.<br>
  </body>
</html>