<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>