Yes, Chris put Help back into the world menu after pointing out that not everyone wants to use the docking bar (which is a good call.) I&#39;d like to personally put some effort into unifying the help menu in the two, i.e., making them generate from the same source, but there&#39;s risk of regression there, so I&#39;m going to hold off for 4.2.<br>
<br><div class="gmail_quote">On Mon, Apr 5, 2010 at 12:47 PM, Tobias Pape <span dir="ltr">&lt;<a href="mailto:Das.Linux@gmx.de">Das.Linux@gmx.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi,<br>
<br>
Am 2010-04-05 um 20:06 schrieb Chris Muller:<br>
<div class="im"><br>
&gt; Help is available on the World menu regardless of the presence of the<br>
&gt; docking bar..<br>
<br>
</div>Ok.<br>
i was confused by the commit comment:<br>
<div class="im"><br>
<br>
&gt; On Mon, Apr 5, 2010 at 3:14 AM, Tobias Pape &lt;<a href="mailto:Das.Linux@gmx.de">Das.Linux@gmx.de</a>&gt; wrote:<br>
&gt;&gt;<br>
</div><div class="im">&gt;&gt; Am 2010-04-04 um 22:18 schrieb <a href="mailto:commits@source.squeak.org">commits@source.squeak.org</a>:<br>
</div>[…]<br>
<div class="im">&gt;&gt;&gt;<br>
&gt;&gt;&gt; I moved the stuff that&#39;s actually help (except for &quot;world menu help&quot; which really isn&#39;t that helpful) out of the world menu and into the docking bar. I took everything else that wasn&#39;t already exposed somewhere and put it in the Extras menu on the docking bar.<br>

</div>[…]<br>
<br>
So Long,<br>
<font color="#888888">        -Tobias<br>
</font></blockquote></div><br>