We are really, really interested in fixing this bug (not a mild glitch, a real, big, bug!).
Unfortunately, I wasn't able to reproduce it with any of our documents/DTD/style sheets using form controls. I suspect that it is related to the way you have written your style sheet. So please send me (hussein at pixware.fr) a document instance+DTD+CSS style sheet having this problem. Also please tell me which Java runtime you are using by sending me what is printed by typing java -version in a terminal window. Alexander Dupuy wrote: > > On both Linux and Windows, I have experienced a mild glitch when using > Ctrl-Shift-V to perform validation. If there is a validation error on > the document, it is not displayed (in fact, the entire element > containing the error - or possibly the selected element - simply > disappears from the display, leaving just a white background). I don't > have this problem with validation from the tools menu. > > This may be correlated with the following uncaught exception: > > java.lang.NullPointerException > at > com.xmlmind.xmledit.styledgadget.Box.getContentSizeConstraints(Box.java: > 371) > at > com.xmlmind.xmledit.styledgadget.Division.getSizeConstraints(Division.ja > va:113) > at > com.xmlmind.xmledit.styledgadget.Box.getContentSizeConstraints(Box.java: > 371) > at > com.xmlmind.xmledit.styledgadget.Form.getSizeConstraints(Form.java:656) > at > com.xmlmind.xmledit.gadget.ComponentImage.getComponent(ComponentImage.ja > va:95) > at > com.xmlmind.xmledit.gadget.ComponentImage.getTemplate(ComponentImage.jav > a:121) > at > com.xmlmind.xmledit.styledview.StyledDocFocusTraversalPolicy.focusCompon > ent(StyledDocFocusTraversalPolicy.java:462) > at > com.xmlmind.xmledit.styledview.StyledDocFocusTraversalPolicy.doGetCompon > entAfter(StyledDocFocusTraversalPolicy.java:203) > at > com.xmlmind.xmledit.styledview.StyledDocFocusTraversalPolicy.getComponen > tAfter(StyledDocFocusTraversalPolicy.java:95) > at java.awt.Component.nextFocusHelper(Component.java:6237) > at java.awt.Container.nextFocusHelper(Container.java:2433) > at java.awt.Component.nextFocus(Component.java:6220) > at java.awt.Component.transferFocus(Component.java:6173) > at > java.awt.DefaultKeyboardFocusManager.focusNextComponent(DefaultKeyboardF > ocusManager.java:1037) > at > java.awt.DefaultKeyboardFocusManager.processKeyEvent(DefaultKeyboardFocu > sManager.java:809) > at java.awt.Component.dispatchEventImpl(Component.java:3522) > at java.awt.Container.dispatchEventImpl(Container.java:1623) > at java.awt.Component.dispatchEvent(Component.java:3439) > at > java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java: > 1688) > at > java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFoc > usManager.java:593) > at > java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboard > FocusManager.java:765) > at > java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboard > FocusManager.java:698) > at > java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusM > anager.java:559) > at java.awt.Component.dispatchEventImpl(Component.java:3468) > at java.awt.Container.dispatchEventImpl(Container.java:1623) > at java.awt.Window.dispatchEventImpl(Window.java:1585) > at java.awt.Component.dispatchEvent(Component.java:3439) > at java.awt.EventQueue.dispatchEvent(EventQueue.java:450) > at > java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThrea > d.java:197) > at > java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread. > java:150) > at > java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:144) > at > java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:136) > at java.awt.EventDispatchThread.run(EventDispatchThread.java:99) > > I can send you a document which has this problem if you need it for > diagnostic purposes (but I don't want to send it to the general list). > Note that closing and reopening the document allows the vanished element > to reappear. > > I also seem to get the following uncaught exception more frequently (I > haven't noticed any visible ill-effect from it, but am forwarding it to > you in case it may be relevant or you may be interested): > > java.lang.NullPointerException > at > com.xmlmind.xmledit.gadget.ComponentImage.handleMouseEvent(ComponentImag > e.java:326) > at > com.xmlmind.xmledit.gadget.EventDispatcher.dispatchMouseEvent(EventDispa > tcher.java:266) > at > com.xmlmind.xmledit.gadget.EventDispatcher.dispatchEvent(EventDispatcher > .java:148) > at > com.xmlmind.xmledit.view.DocumentViewEventDispatcher.dispatchEvent(Docum > entViewEventDispatcher.java:92) > at > com.xmlmind.xmledit.gadget.GadgetPanel.processEvent(GadgetPanel.java:193 > ) > at java.awt.Component.dispatchEventImpl(Component.java:3598) > at java.awt.Container.dispatchEventImpl(Container.java:1623) > at java.awt.Component.dispatchEvent(Component.java:3439) > at > java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:3450) > at > java.awt.LightweightDispatcher.processMouseEvent(Container.java:3162) > at > java.awt.LightweightDispatcher.dispatchEvent(Container.java:3095) > at java.awt.Container.dispatchEventImpl(Container.java:1609) > at java.awt.Window.dispatchEventImpl(Window.java:1585) > at java.awt.Component.dispatchEvent(Component.java:3439) > at java.awt.EventQueue.dispatchEvent(EventQueue.java:450) > at > java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThrea > d.java:197) > at > java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread. > java:150) > at > java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:144) > at > java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:136) > at java.awt.EventDispatchThread.run(EventDispatchThread.java:99) > java.lang.NullPointerException > at > com.xmlmind.xmledit.styledgadget.Box.getContentSizeConstraints(Box.java: > 371) > at > com.xmlmind.xmledit.styledgadget.Division.getSizeConstraints(Division.ja > va:113) > at > com.xmlmind.xmledit.styledgadget.Box.getContentSizeConstraints(Box.java: > 371) > at > com.xmlmind.xmledit.styledgadget.Form.getSizeConstraints(Form.java:656) > at > com.xmlmind.xmledit.gadget.ComponentImage.getComponent(ComponentImage.ja > va:95) > at > com.xmlmind.xmledit.gadget.ComponentImage.getTemplate(ComponentImage.jav > a:121) > at > com.xmlmind.xmledit.styledview.StyledDocFocusTraversalPolicy.focusCompon > ent(StyledDocFocusTraversalPolicy.java:462) > at > com.xmlmind.xmledit.styledview.StyledDocFocusTraversalPolicy.doGetCompon > entAfter(StyledDocFocusTraversalPolicy.java:203) > at > com.xmlmind.xmledit.styledview.StyledDocFocusTraversalPolicy.getComponen > tAfter(StyledDocFocusTraversalPolicy.java:95) > at java.awt.Component.nextFocusHelper(Component.java:6237) > at java.awt.Container.nextFocusHelper(Container.java:2433) > at java.awt.Component.nextFocus(Component.java:6220) > at java.awt.Component.transferFocus(Component.java:6173) > at > java.awt.DefaultKeyboardFocusManager.focusNextComponent(DefaultKeyboardF > ocusManager.java:1037) > at > java.awt.DefaultKeyboardFocusManager.processKeyEvent(DefaultKeyboardFocu > sManager.java:809) > at java.awt.Component.dispatchEventImpl(Component.java:3522) > at java.awt.Container.dispatchEventImpl(Container.java:1623) > at java.awt.Component.dispatchEvent(Component.java:3439) > at > java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java: > 1688) > at > java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFoc > usManager.java:593) > at > java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboard > FocusManager.java:765) > at > java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboard > FocusManager.java:698) > at > java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusM > anager.java:559) > at java.awt.Component.dispatchEventImpl(Component.java:3468) > at java.awt.Container.dispatchEventImpl(Container.java:1623) > at java.awt.Window.dispatchEventImpl(Window.java:1585) > at java.awt.Component.dispatchEvent(Component.java:3439) > at java.awt.EventQueue.dispatchEvent(EventQueue.java:450) > at > java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThrea > d.java:197) > at > java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread. > java:150) > at > java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:144) > at > java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:136) > at java.awt.EventDispatchThread.run(EventDispatchThread.java:99) >
