<div class="gmail_extra"><div class="gmail_quote">On 8 November 2012 17:54, Carl Smith <span dir="ltr"><<a href="mailto:carl.input@gmail.com" target="_blank">carl.input@gmail.com</a>></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'd have a go at fixing it, but wouldn't know where to start.</div></blockquote></div><br>Yes, do open a bug report. If you're willing to dig into the notebook javascript, it will be somewhere in there, but I don't know where. Or if you're busy, I'm sure someone will get onto it before long.<br>

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