Bug: Undo doesn't uncheck menu check boxes

Hi,

When undoing an operation which added a check box in a menu (for example 
[XHTML->Information type]), the checkbox isn't removed.

For instance:
- select some text in a document
- go in the "XHTML" menu in the menu bar, then select "Emphasis" in the 
"Information type" submenu.
=> a checkbox is added aside the "Emphasis" item, and the associated 
style is applied to the selected text
- Then, undo the operation.
=> The em element is removed, but there is still a checkbox aside the 
"Emphasis" menu item.

I'm not sure it's linked with the bug I previously reported for full 
screen state... it may already be fixed in CVS ;)

Romain.

-- 
=====================================================
Romain Deltour

LimSee2 Software Developer
http://wam.inrialpes.fr/software/limsee2/

INRIA Rhone-Alpes (Projet WAM)
655 av. de l'Europe - ZIRST Montbonnot
F-38334 Saint Ismier Cedex

e-mail: romain.deltour@inrialpes.fr
phone: +33 (0)4 76 61 52 18
cell:  +33 (0)6 72 01 50 06
=====================================================