[Anjuta-list] Menu bug

[Andreas Volz <lists brachttal net>]

Hello,

it seems bugzilla is again not working. So here another bug:

In the View->Editor menu are some checkboxes that are not checked, but
if I click them I see that the option was enabled, but the checkbox
wasn't shown activated. This worked here in a new Anjuta profile. Later
it worked without problems.

regards
Andreas