<div class="gmail_extra"><div class="gmail_quote">On 8 November 2012 17:54, Carl Smith <span dir="ltr">&lt;<a href="mailto:carl.input@gmail.com" target="_blank">carl.input@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div id=":2m9">What do you think can be done about this then? Shall I open a bug<br>
report? I&#39;d have a go at fixing it, but wouldn&#39;t know where to start.</div></blockquote></div><br>Yes, do open a bug report. If you&#39;re willing to dig into the notebook javascript, it will be somewhere in there, but I don&#39;t know where. Or if you&#39;re busy, I&#39;m sure someone will get onto it before long.<br>

<br>Thanks,<br>Thomas<br></div>