コード例 #1
0
  public void setDoc(Document document) {
    predictionPanel.clear();

    doc = document;

    tvPanel.clearHighlights();
    displayRawText();

    predictionPanel.redraw();
    fileNameField.setText(doc.getDocumentId());
  }
コード例 #2
0
 /** clears the raw text panel of all highlights */
 public void clearHighlights() {
   tvPanel.clearHighlights();
 }