461 |
|
|
462 |
protected void modelChanged() |
protected void modelChanged() |
463 |
{ |
{ |
464 |
|
if (textComponent == null || rootView == null) |
465 |
|
return; |
466 |
ViewFactory factory = rootView.getViewFactory(); |
ViewFactory factory = rootView.getViewFactory(); |
467 |
Element elem = textComponent.getDocument().getDefaultRootElement(); |
if (factory == null) |
468 |
|
return; |
469 |
|
Document doc = textComponent.getDocument(); |
470 |
|
if (doc == null) |
471 |
|
return; |
472 |
|
Element elem = doc.getDefaultRootElement(); |
473 |
|
if (elem == null) |
474 |
|
return; |
475 |
setView(factory.create(elem)); |
setView(factory.create(elem)); |
476 |
} |
} |
477 |
} |
} |