<br><div class="gmail_quote"><div>&nbsp;</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="gmail_quote">serialization/restart the startupHook will get run again anyway, and
the correct workspace will get re-cached.&nbsp; So perhaps I can just write </div></blockquote><div><br>arg, of course I meant &#39;the correct *layout will get re-cached&#39;...<br></div></div>