On Sun, Feb 10, 2013 at 6:26 AM, Martin Geisler <span dir="ltr"><<a href="mailto:martin@geisler.net" target="_blank">martin@geisler.net</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div id=":3ep">The standard logging library works by taking the format string and the<br>
arguments separately: that way you can check if the message will be<br>
logged first and then only spend time formatting it if so. It would be<br>
cool if we could change the signature of ui.log to that standard too.<div class="yj6qo ajU"><div id=":pr" class="ajR" tabindex="0"></div></div></div></blockquote></div><br>I think that's a good idea. I already want to do that with our existing ui.note and such methods.