[Bluej-discuss] Grey menu item

[Ian Utting]

Andrew Jones wrote:
> Is it possible using the bluej extension API to grey out (disable) a 
> menu item ?

Only a menu item that the extension itself has installed.

In fact, that's what the notifyPost* callbacks on the MenuGenerator are 
for, to enable extensions to decide whether their menu items should be 
enabled or not under the conditions in place at their invocations.

Ian.