Agreed. Refresh would be too much.<br><br><div class="gmail_quote">On Sat, Mar 1, 2008 at 7:17 PM, vlad <<a href="mailto:vla@uni-bonn.de">vla@uni-bonn.de</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
hi dana,<br>
<div class="Ih2E3d"><br>
On Sat, Mar 01, 2008 at 01:29:16PM -0500, Dana Jansens wrote:<br>
> Would you also be expecting the pipe menu to be re-run periodocally<br>
> and refreshing the menu contents?<br>
<br>
</div>no. that would be "too much".<br>
it's not only for pipe-menus but also for normal menus. so a refresh<br>
button, auto-refresh or similar would be then senseless.<br>
re-opening does the refresh...<br>
<div><div></div><div class="Wj3C7c"><br>
vlad<br>
<br>
--<br>
<br>
---<br>
To unsubscribe, send a blank email to <a href="mailto:openbox-unsubscribe@icculus.org">openbox-unsubscribe@icculus.org</a><br>
Mailing list archives: <a href="http://icculus.org/cgi-bin/ezmlm/ezmlm-cgi?24" target="_blank">http://icculus.org/cgi-bin/ezmlm/ezmlm-cgi?24</a><br>
<br>
<br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>Labor omnia vincit improbus