<!DOCTYPE html>
<html>
<head>
<title></title>
</head>
<body><div>Thanks Ondrej for your works.<br></div>
<div><br></div>
<div>You talk about various IDE options but as I searched I cant find any options to make this message off and also from my view it makes no sense forcing anybody to a shortcut do just one thing and make all the stuff in Public.<br></div>
<div>But as you are the maintainer and no one attracted in this topic for know, its your decision and yours is no so it is as is but Im grateful for your works as always.<br></div>
<div><br></div>
<div id="sig12586409"><div class="signature">Regards,<br></div>
<div class="signature">Ara<br></div>
</div>
<div><br></div>
<div><br></div>
<pre>
--
http://www.fastmail.com - Choose from over 50 domains or use your own
</pre>
</body>
</html>