Hi Andreas,

On Wed, Nov 18, 2009 at 5:25 AM, Andreas Raab <andreas.raab at gmx.de> wrote:
> Two comments on that: First, preferences are a bane. The update menu should
> be either in one place or another, but not depending on preference, day of
> the week, or phase of the moon ;-)

ha well, as a developer I have different interests in what should be
in the menu than as a user not interested in development ... there
should be some configurability.

> (personally I think we should redo the entire desktop menu but that's just me)

I'm with you. Let's do this. I'll come up with a proposal later today.
BTW is anyone actually using the custom world menu?

> Secondly, instead of continuing to create new dependencies to Preferences
> which are hard to initialize, maintain and remove, you might want to use a
> pragma instead. ...

Thanks for this!

Best,

Michael