branch.addAttribute(HTML.Attribute.WIDTH, "200");
assertFalse(gva.isOccurred());
assertFalse(th2c.isOccurred());
view.changedUpdate(new DocumentEvent() {
public int getOffset() {
return branch.getStartOffset();
}
public int getLength() {
return branch.getEndOffset() - branch.getStartOffset();