public void setDoc(Document document) { predictionPanel.clear(); doc = document; tvPanel.clearHighlights(); displayRawText(); predictionPanel.redraw(); fileNameField.setText(doc.getDocumentId()); }
/** clears the raw text panel of all highlights */ public void clearHighlights() { tvPanel.clearHighlights(); }