2009/11/18 Michael Haupt <mhaupt at gmail.com>:
> 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?
>

i don't know what you are calling custom world menu..
i can see 4 different menus, when clicking on world
- with left mouse button
- with right button
- Ctrl+left button
- Shift+left button

>> 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
>
>



-- 
Best regards,
Igor Stasenko AKA sig.