<div class="gmail_quote">2012/1/5 Mark Morgan Lloyd <span dir="ltr"><<a href="mailto:markMLl.lazarus@telemetry.co.uk">markMLl.lazarus@telemetry.co.uk</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Since messages window isn't automatically cleared by IDE editing activity, would whoever is responsible consider adding a timestamp to the "successfully built" message so that users can see at a glance how long ago they last compiled?</blockquote>
<div><br></div><div>Sounds like a good idea. This looks like a feature that somebody (maybe you) could implement and provide a patch. The core developers have many other priorities.</div><div>The timestamp is easy to get with "Now" + some formatting. The challenge (as always) is to find the place in code where it should be added.</div>
<div>I will apply a valid patch if someone makes it.</div><div><br></div><div>Juha</div><div><br></div></div>