#346 Popup menu options do not work

[Miguel]

10.00.49

Several of the popup menu option display options do not
work properly.

For example, the showSelectionHalos and showHydrogens
checkboxs do not work.

The command 'set display selected' does work when
executed from a script.

[Nicolas]

Logged In: YES
user_id=1096197

I checked what was going on: the menu options are working
but the display is not refreshed. I don't know why, I think
the problem is more wide than just a menu problem.

What happens when you click on showSelectionHalos :
- Viewer.setBooleanProperty() is called
- Viewer.setSelectionHaloEnabled() is called.
- Viewer.refresh() is called.
- RepaintManager.refresh() is called: the first test checks
that repaintPending is equals to false, otherwise nothing is
done. The problem here is that it repaintPending is true (why ?)

[Nicolas]

Logged In: YES
user_id=1096197

It's working now with SVN trunk