829830831832833834835836837838839
Rectangle visibleRect = getVisibleEditorRect(); if (visibleRect != null) { getRootView().setSize(visibleRect.width, visibleRect.height); getRootView().paint(g, visibleRect); } caret.paint(g); } finally { readUnlock(); } }
835836837838839840841842843844845
Rectangle visibleRect = getVisibleEditorRect(); if (visibleRect != null) { getRootView().setSize(visibleRect.width, visibleRect.height); getRootView().paint(g, visibleRect); } caret.paint(g); } finally { readUnlock(doc); } }
836837838839840841842843844845846